| 基于PDS的IKE安全协议形式化分析 |
| |
| 引用本文： | 王惠斌,常青美,祝跃飞.基于PDS的IKE安全协议形式化分析[J].河南师范大学学报(自然科学版),2007,35(3):33-35. |
| |
| 作者姓名： | 王惠斌 常青美 祝跃飞 |
| |
| 作者单位： | 1. 解放军信息工程大学,信息工程学院,郑州,450002;河南司法警官职业学院,信息技术系,郑州,450002
2. 解放军信息工程大学,信息工程学院,郑州,450002 |
| |
| 基金项目： | 国家自然科学基金
,
河南省科技攻关项目 |
| |
| 摘 要： | 介绍了支持复杂协议形式化并行推导的PDS协议衍生推导系统和IKE协议.给出了使用PDS形式化衍生IKE协议的核心认证部分的方法.
|
| 关 键 词： | 安全协议 形式化分析 IKE协议 PDS |
| 文章编号： | 1000-2367（2007）03-0033-03 |
| 修稿时间： | 2007-03-20 |
The Formal Analysis of IKE Protocols Based on PDS |
| |
| WANG Hui-bin,CHANG Qing-mei,ZHU Yue-fei.The Formal Analysis of IKE Protocols Based on PDS[J].Journal of Henan Normal University(Natural Science),2007,35(3):33-35. |
| |
| Authors: | WANG Hui-bin CHANG Qing-mei ZHU Yue-fei |
| |
| Institution: | 1. Information Engineering College, Information Engineering University, Zhengzhou 450002,China;2. Department of Information Technology, Henan Judicial Police Vocational College,Zhengzhou 450002,China |
| |
| Abstract: | The PDS supports syntactic derivations of complex protocols guarantee safety on the design.IKE protocol is one of the key components of the IPSEC.The paper presents the derivation of the core of IKE protocol using the PDS. |
| |
| Keywords: | security protocol formal analysis IKE protocol PDS |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
