|
|||||
|
|
| 一种新的安全协议设计方法 | |
| 引用本文： | 王惠斌,马明山,常青美,祝跃飞.一种新的安全协议设计方法[J].河南科学,2008,26(3):322-325. |
| 作者姓名： | 王惠斌 马明山 常青美 祝跃飞 |
| 作者单位： | 1. 信息工程大学,郑州,450002;河南司法警官职业学院,郑州,450002 2. 安阳师范学院,河南,安阳,455002 3. 信息工程大学,郑州,450002 |
| 基金项目： | 国家自然科学基金 , 河南省科技攻关项目 |
| 摘 要： | 已有的安全协议往往被证实并不如它们的设计者所期望的那样安全,如何设计才能确保协议的安全性是目前研究的难点之一.通过介绍目前安全协议设计的主要思路和方法,说明了PDS系统的主要内容和方法,推导出了ISO-9798-3协议. |
| 关 键 词： | 安全协议 形式化设计 协议推导系统 ISO-9798-3协议 |
| 文章编号： | 1004-3918(2008)03-0322-04 |
| 修稿时间： | 2007年7月8日 |
The Design of Network Protocols Based on PDS |
|
| Wang Huibin,Ma Mingshan,Chang Qingmei,Zhu Yuefei.The Design of Network Protocols Based on PDS[J].Henan Science,2008,26(3):322-325. | |
| Authors: | Wang Huibin Ma Mingshan Chang Qingmei Zhu Yuefei |
| Institution: | Wang Huibin1,2,Ma Mingshan3,Chang Qingmei1,Zhu Yuefei1(1.Information Engineering University,Zhengzhou 450002,China,2.Henan Judicial Police Vocational College,Zhengzhou 450011,3.Anyang Normal University,Anyang 455002,China) |
| Abstract: | It was often confirmed that security protocols were not as safe as the designers hope.To design a network protocol guaranteed secure is very difficult.The main ideas and methods of security protocol design and the PDS are introduced,and presents the derivation of the ISO-9798-3 protocol. |
| Keywords: | network protocol formal design PDS ISO-9798-3 protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |