论文部分内容阅读
可信平台模块是可信计算技术的关键部件，其安全性直接影响可信评估的结果。使用演算对可信平台模块进行了形式化建模，并利用该模型对模块中的密钥签署命令进行安全性分析。最后，经模型自动化分析工具ProVerif的验证发现了该命令存在的安全漏洞。
基于ProVerif的可信平台模块安全分析
【摘 要】
：
可信平台模块是可信计算技术的关键部件，其安全性直接影响可信评估的结果。使用演算对可信平台模块进行了形式化建模，并利用该模型对模块中的密钥签署命令进行安全性分析。最后
【机 构】
：
山西省财政税务专科学校现代教育技术中心
【出 处】
：
北京石油化工学院学报
【发表日期】
：
2013年4期
其他文献
一、国内现状在框架锯上用金刚石刀头加工大幅面花岗石板材,一直是世界性的难题。国外意大利等很多公司以前研究过此技术,但效果均不理想。目前,国内企业也有从事该项技术研
<圣经>是宗教经典,是一部经书,同时因它对世界各国的文学有深远的影响,它又是一部文学价值很高的艺术珍品.<圣经>的题材多样,内容丰富,语言简洁,通俗易懂.
概述了利用特征向量统计回归反演算法，从EOS／MODIS的红外通道资料反演大气温湿度垂直分布过程，并与美国国家环境预报中心NCEP（National Centers for Environmental Prediction）等
GPS掩星观测的折射率是大气温度、湿度状态的函数,应用一维变分方法(1DVAR)可以从折射率资料中同时反演出大气温、湿度廓线,利用COSMIC 2011年中国区域掩星观测数据对这一方
本文以多种指标分析了中国产业国际竞争力的动态演变状况,并选择了14个国家进行了相关比较,表明一国产业竞争力的强弱不仅取决经济快速增长,还取决经济发展的质量和可持续发
容器育苗在现代林业生产中应用广泛，其关键技术是育苗基质的选材和配制。笔者介绍了容器育苗中基质的种类、基质的选择、基质的配制，探讨了林木容器育苗基质的开发现状和发展趋
幼儿语言活动要以科学的生活教育思想为指导。去提升综合教育教学水平。本文从幼儿的生活经验出发,阐述了如何进行幼儿语言教育,有效地提升幼儿社交能力表现能力与思维表达能
毛茛叶报春（Primula ranunculoides Chen）是我国特有的珍稀濒危花卉,其野生种质资源已十分稀少。为了揭示其谱系地理结构,本文对11个居群114个个体的叶绿体trn L-F和trn S-G基