安全协议中的形式化验证技术OA
Formal Verification Techniques for Security Protocols
伴随着网络和通信的迅速发展,安全已经成为一个备受关注的问题,为确保不同系统的安全,出现了许多的安全协议.文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的几种形式化的验证技术及各自的优缺点,探讨了形式化验证技术所面临的挑战,指出目前在这方面所做的工作以及有待发展的方向.
余冬梅;边培泉;冯涛
甘肃工业大学,电气工程与信息工程学院,甘肃,兰州,730050甘肃工业大学,电气工程与信息工程学院,甘肃,兰州,730050甘肃工业大学,电气工程与信息工程学院,甘肃,兰州,730050
计算机与自动化
安全协议形式化验证技术BAN逻辑状态穷举定理证明
《微机发展》 2003 (11)
112-114,124,4
评论