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

• 作者: 李建华 胡爱群 蒋睿
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 协议设计 形式化方法 Authentication tests 密钥交换 Strand space模型
• 年，卷（期）: 2006,（9）
• 所属期刊栏目: 安全协议
• 页码范围: 1694-1701
• 页数: 8页
• 分类号: TN91
• 字数: 8512字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2006.09.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李建华	上海交通大学电子工程系	336	2966	25.0	36.0
2	胡爱群	东南大学无线电工程系	204	2184	22.0	39.0
3	蒋睿	东南大学无线电工程系	12	56	5.0	7.0