论文部分内容阅读
密码协议是任何安全系统的基础,其作用主要是利用密码技术实现网络通信中的密钥分发和身份认证,所以它也是实现计算机网络安全的关键,但是在实践中发现有许多密码协议仍然存在漏洞,因此对密码协议的安全性验证就显得非常重要.本文提出了一种基于Petri网的密码协议形式化描述和安全性验证的方法,该方法建立在倒推状态分析思想与颜色Petri网的可达性矩阵描述的基础之上,并通过实例证明了这种方法的有效性.