远程证明传输协议研究
为了确保可信报告在传输过程中的安全,提出一种远程证明传输协议,采用公钥对用户身份信息和随机数加密保证每次会话密钥的新鲜性和安全性.对该协议采用串空间模型进行安全性分析,形式化分析结果显示该协议具有抗中间人攻击、抗重放攻击等多种安全特性,保证通信双方身份的真实性、通信数据的机密性、完整性,满足安全传输信息的要求.
可信计算 远程证明传输协议 串空间模型 会话密钥
林宏刚
成都信息工程学院计算机系统与网络安全研究所,成都,中国,610225
国内会议
昆明
中文
42-46
2010-07-01（万方平台首次上网日期，不代表论文的发表时间）