加入时间因素的Needham-Schorder协议及其形式化分析

摘要：

在安全数据的通讯中,数据发送和接收的非否认十分重要.文章在克服Needham-Schorder协议缺陷的基础上,提出了一种基于时间戳的改进方案,该方案有效地解决了可信中心的性能瓶颈问题,是一个更为实际的安全协议,此外通过对其进行形式化分析,证明了该协议可以抵抗参加协议各主体的否认攻击.

关键词：时间戳、BAN逻辑、非否认

所属期刊栏目：41

分类号：TP39(计算技术、计算机技术)

资助基金：科技部科研项目G1999035802

在线出版日期：2006-03-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：108-110,134