基于Authentication Test方法的高效安全IKE形式化设计研究

摘要：

基于Authentication Test方法,围绕高效安全Internet密钥交换(ESIKE)协议的安全目标,提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法,设计出了高效安全的IKE协议;并且基于Strand Space模型和Authentication Test方法,形式化分析ESIKE协议,证明了其所具有的安全特性.该ESIKE协议克服了原有Internet密钥交换(IKE)协议存在的安全缺陷,提供了安全的会话密钥及安全关联(SA)协商,保护了通信端点的身份,并且保证了协议发起者和响应者间的双向认证.同时,ESIKE仅需3条消息及更少的计算量,更加简单、高效.

关键词：协议设计、形式化方法、Authentication tests、密钥交换、Strand space模型

所属期刊栏目：29

分类号：TN91

资助基金：国家高技术研究发展计划863计划2003AA142160;国家115科研基金P2006014EA

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

页数：共8页

页码：1694-1701