非形式化方法相关论文
随着密码协议在计算机网络和分布式系统中的广泛应用,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫......
密码协议的安全性研究是网络安全研究的主要热点。本论文主要研究了如何应用系统工程思想和形式化方法来分析和设计密码协议,取得......
协议的分析验证方法有形式化与非形式化之分,很多代表性的协议虽然存在着缺陷,但对这些协议的非形式化分析,却可以提出一些值得借......
介绍了Gastin.P最小反例的算法思想,然后结合著名的Needham-Schroeder公钥身份认证协议进行了非形式化分析,实例分析的结果表明,算......