| 安全协议的形式化说明、设计及验证 |
| |
| 引用本文： | 王娜,王亚弟. 安全协议的形式化说明、设计及验证[J]. 计算机应用, 2003, 23(10): 42-45 |
| |
| 作者姓名： | 王娜 王亚弟 |
| |
| 作者单位： | 中国人民解放军信息工程大学,电子技术学院,河南,郑州,450004;中国人民解放军信息工程大学,电子技术学院,河南,郑州,450004 |
| |
| 摘 要： | 文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍,分析了它们的原理和优缺点,并对该技术的研究发展前景提出见解。
|
| 关 键 词： | 安全协议 形式化技术 协议说明 协议设计 协议验证 |
| 文章编号： | 1001-9081(2003)10-0042-04 |
| 修稿时间： | 2003-04-14 |
Formal Specification,Designing and Verification of Secure Protocol |
| |
| Abstract: | |
| |
| Keywords: | secure protocol formal technology protocol specification protocol designing protocol verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
