|
|||||
|
|
| 安全协议中的形式化验证技术 | |
| 引用本文： | 余冬梅,边培泉,冯涛. 安全协议中的形式化验证技术[J]. 计算机技术与发展, 2003, 13(11) |
| 作者姓名： | 余冬梅 边培泉 冯涛 |
| 作者单位： | 甘肃工业大学,电气工程与信息工程学院,甘肃,兰州,730050 |
| 摘 要： | 伴随着网络和通信的迅速发展,安全已经成为一个备受关注的问题,为确保不同系统的安全,出现了许多的安全协议.文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的几种形式化的验证技术及各自的优缺点,探讨了形式化验证技术所面临的挑战,指出目前在这方面所做的工作以及有待发展的方向. |
| 关 键 词： | 安全协议 形式化验证技术 BAN逻辑 状态穷举 定理证明 |
Formal Verification Techniques for Security Protocols |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |