【摘 要】
：
该文作者发现可信计算组织TCG提出的可信网络连接架构存在安全缺陷,攻击者利用这一缺陷可以发起一种平台替换攻击,攻击将导致可信网络连接过程中平台身份认证的失败和平台完
【机 构】
：
西安电子科技大学计算机学院,西安电子科技大学计算机网络与信息安全教育部重点实验室
论文部分内容阅读
该文作者发现可信计算组织TCG提出的可信网络连接架构存在安全缺陷,攻击者利用这一缺陷可以发起一种平台替换攻击,攻击将导致可信网络连接过程中平台身份认证的失败和平台完整性校验错误.针对这一情况,文中形式化地给出了可信网络连接协议的安全目标.在此基础之上,为了使协议的设计和分析更具一般性和安全性,提出一种可证明安全的可信网络连接协议模型(TNC-PS),通过模型中的绑定器,可将理想环境下设计的完整性评估层协议,转化为实际环境下安全性相同的等价协议.从而在保持可信网络连接架构不变的基础上,避免其安全缺陷造成的影响.最后,利用TNC-PS模型设计了一个完整性评估层协议,该协议能够满足可信网络连接协议的安全目标.
其他文献
黄金是一种具有金融属性、商品属性和货币属性三种属性的贵金属,具有不可替代的保值、避险等功能,同时也是各国外汇储备的重要组成部分。随着金融市场的发展,国际和国内的黄
玻璃添加剂有几种不同的型号，其成分及含量也各不相同，对玻璃添加剂的系统分析测试主要是分析其中氧化锑、氧化砷和氧化铈的含量，其余的氧化物，如氧化钠、氧化钾、氧化铁、氧化铝
在现代生活中，随着社会的不断进步和教育理念的普及，人们对于儿童教育的重视日益提高。在儿童的学前教育中，作为进入学校之前阅读的第一本书籍，绘本具有“以图叙事”的创作特点。
从2005年以来,股权激励制度在我国取得了长足的进展,并且现在仍然处于蓬勃发展之中,股权激励中出现的问题也受到各方学者的关注。同时,盈余质量是股东和潜在投资者特别想了解
本文根据武器装备市场规律和装备采办机制,提出基于装备质量等级和售后服务水平的装备定价信号博弈模型,该博弈模型唯一的完美贝叶斯均衡解为分离均衡,并给出了求解过程。基
在经过十几年的发展之后,大豆期货已经逐渐成为我国农产品市场中比较成熟的交易品种。因此,其交割价格方面也呈现出复杂性和多样性,这中间既有外部因素影响,也有市场内部因素
见义勇为是中华民族的传统美德，同样也是社会主义道德体系的重要组成部分。大力弘扬见义勇为精神，不仅有利于小康社会的全面建设，同时还有利于和谐社会的构建。见义勇为者就是在
近年来,我国经济发展迅速,结构调整日趋合理,住房制度经历了很大的改革。随着我国城乡居民收入的增加,人们对于生活品质有了更高的要求,也更加关注住房。居民购房意愿和购房
2001年的年底,我国正式加入世界贸易组织,也就是从那时开始,中国的经常项目差额开始出现大幅的顺差,并在2008年达到历史峰值。随着全球化进程的深入,以及近年来我国与其他国
从2010年到现在,网络团购异军突起,吸引了越来越多的消费者。它做为一种新型的网络交易模式,以其独特的价格优势,完善的服务体系和便捷的消费体验,赢得了众多消费者的良好口