安全协议形式化分析与验证研究

摘要

安全协议形式化分析与验证技术是计算机网络安全领域的重大课题之一。形式化方法多种多样。文中首先描述了形式化分析的前提,然后采用对比的方式详细介绍了目前流行的几种形式化验证技术的验证过程及相应的优缺点,并介绍了一种新的验证技术-类型检测方法,最后指出目前在这方面所做的工作以及未来的发展方向。