论文部分内容阅读
标准符合性是衡量可信计算模块（TPM）芯片是否存在安全漏洞的重要因素。该文面向可信计算组织规范，给出一个针对TPM接口命令的标准符合性测试方案。运用有限状态机归纳测试集的方法实现了原型。对某款TPM芯片进行实测的结果表明，该方案是有效且切实可行的。
TPM接口命令标准符合性测试的设计与实现
【摘 要】
：
标准符合性是衡量可信计算模块（TPM）芯片是否存在安全漏洞的重要因素。该文面向可信计算组织规范，给出一个针对TPM接口命令的标准符合性测试方案。运用有限状态机归纳测试集的方
【机 构】
：
中国电子技术标准化研究所信息技术研究中心,中国科学院软件研究所,中国科学院研究生院
【出 处】
：
计算机工程
【发表日期】
：
2009年2期
【基金项目】
：
国家自然科学基金资助项目（60672112）
其他文献
本文统计阿克苏地区2015-2019年间防雹作业点降雹资料,分析受地形影响下地区冰雹分布特征、地理特征和地形作用、冰雹风险区划,并对地区作业火力点布局方案、建设及防雹措施
对于佤族木鼓的原始用途,目前学者持有警器说、法器说、乐器说、崇拜之物说等几种各异的观点。综合目前佤族木鼓研究成果、鼓文化研究成果以及佤族社会历史发展纪实,再根据事
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield