Trusted Mobile Platform中密钥交换协议的分析

摘要：

　　安全协议的设计和形式化分析是当前信息安全领域中的研究热点和难点之一。本文运用SVO逻辑对Trusted Mobile Platform中提出的一种Diffie-Hellman密钥交换协议作了形式化的分析，结果表明该协议只能实现隐式的密钥认证，原方案试图通过在协议实现上进行修补，但这种方式仍然存在风险。

关键词： 密钥交换协议 SVO逻辑 形式化方法 网络环境

作者: Liu Pei-Shun 刘培顺 Wang Xue-Fang 王学芳 Wang Qing-Jiang 王庆江

作者单位: Department of Computer Science and Technology,Ocean University of China,Qingdao,266071 中国海洋大学计算机科学与技术系 青岛 266071 Department of Information and Computing Science,Ocean University of China,Qingdao,266071 中国海洋大学信息与计算科学系 青岛 266071

会议类型: 国内会议

会议名称: 中国密码学会2009年会

会议地点: 广州

会议语种:中文

页码: 232-239

在线出版日期: 2009-11-14（万方平台首次上网日期，不代表论文的发表时间）