可证明安全的可信网络连接协议模型

• 作者: 姜奇 李兴华 马卓 马建峰
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 可信网络连接 平台替换攻击 可证明安全模型 绑定器
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1669-1678
• 分类号: TP309
• 字数: 11271字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2011.01669

摘要

该文作者发现可信计算组织TCG提出的可信网络连接架构存在安全缺陷,攻击者利用这一缺陷可以发起一种平台替换攻击,攻击将导致可信网络连接过程中平台身份认证的失败和平台完整性校验错误.针对这一情况,文中形式化地给出了可信网络连接协议的安全目标.在此基础之上,为了使协议的设计和分析更具一般性和安全性,提出一种可证明安全的可信网络连接协议模型(TNC-PS),通过模型中的绑定器,可将理想环境下设计的完整性评估层协议,转化为实际环境下安全性相同的等价协议.从而在保持可信网络连接架构不变的基础上,避免其安全缺陷造成的影响.最后,利用TNC-PS模型设计了一个完整性评估层协议,该协议能够满足可信网络连接协议的安全目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建峰	西安电子科技大学计算机学院	389	4956	30.0	50.0
5	马卓	西安电子科技大学计算机学院	19	188	8.0	13.0
6	李兴华	西安电子科技大学计算机学院	34	334	10.0	17.0
7	姜奇	西安电子科技大学计算机学院	19	177	8.0	13.0