10.3969/j.issn.1673-629X.2003.11.040
安全协议中的形式化验证技术
伴随着网络和通信的迅速发展,安全已经成为一个备受关注的问题,为确保不同系统的安全,出现了许多的安全协议.文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的几种形式化的验证技术及各自的优缺点,探讨了形式化验证技术所面临的挑战,指出目前在这方面所做的工作以及有待发展的方向.
安全协议、形式化验证技术、BAN逻辑、状态穷举、定理证明
13
TP393.08(计算技术、计算机技术)
2003-12-19(万方平台首次上网日期,不代表论文的发表时间)
共4页
112-114,124