可信计算中信任链建立的形式化验证

来源 :北京工业大学学报 | 被引量 : 0次 | 上传用户:xiekc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证.验证的结果表明系统具有期望的外部行为.
其他文献
针对自适应中值滤波在窗口迭代过程中存在像素点重复参与运算导致算法复杂度较高的问题,提出了一种改进的中值滤波算法.首先依据有效像素点与窗口中心点间的坐标距离来快速确定最佳滤波窗口尺寸,避免了窗口迭代造成的像素点重复排序;之后对窗口内的有效像素点进行取中值操作,有效削弱了噪声点的干扰,进一步提升了图像滤波的质量.经实验验证,与自适应中值滤波算法比较,复杂度显著降低,峰值信噪比(peak signal
现如今,电力企业的发展已经开始逐渐趋于信息化,各种类型的智能化产品不断涌出,电力系统所具有的集成性愈发增强。同时,基于大数据时代背景下的各电力企业所接触到的不同类型
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
为了解决半柔性路面(semi-flexible pavement,SFP)材料低温性能不良的问题,以-10℃弯曲破坏应变为低温性能评价指标,对比研究了AC-13、AC-20普通沥青混合料以及4种级配的半柔性
为了使液体静压轴承油膜性能的研究更加准确,基于计算流体力学(computational fluid dynamics,CFD)和有限差分方法,研究了液体静压轴承间隙油膜微流动的速度滑移现象及其对轴承
针对人脸验证系统中复杂卷积神经网络(convolutional neural network,CNN)模型的计算负担大、运算速度慢的问题,提出使用卷积定理来加速人脸特征提取中的CNN卷积层计算,从而提升人脸验证的速度.卷积定理中,空域中的卷积运算等价于频域中的乘积运算.将耗时的卷积计算转化为频域中的乘积计算后,可能会显著减少计算量,且无精度损失.分析了用卷积定理计算卷积的时间复杂度,给出了卷积定理
为了解决某轻型卡车驾驶室在62 km/h左右时存在比较严重的振动,对乘坐舒适性影响较大的问题,对该车型驾驶室悬置进行了匹配优化.采用频响函数方法,利用LMS Test-Lab测试系统