互联网密钥交换协议匿名特性的CSP分析及改进

摘要：

相对于以往的非形式化分析,文章对互联网密钥交换(IKE)协议的匿名特性进行了基于CSP方法的形式化分析,并提出了新的改进建议.与其他文献只能保护单方身份的改进方法相比,该改进方法能够同时保护双方的身份.

关键词： IKE协议 匿名特性 CSP模型 密钥交换 互联网

作者: 卫剑钒 唐礼勇 陈钟

作者单位: 北京大学,信息科学技术学院,北京,100871

会议类型: 国内会议

会议名称: 第一届中国可信计算与信息安全学术会议

会议地点: 武汉

会议语种:中文

页码: 151-154

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