TMN密码协议相关论文
本文主要针对时态认知逻辑的模型检测问题进行了初步研究,研究成果体现在如下几方面:(1)论文首先对安全协议验证的形式化方法进行了......
找到了TMN密码协议的一些新的攻击,这些攻击构成了新的一类攻击.这类攻击的入侵者既作协议的初始者,也作协议的响应者,这样扩大了......
模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规......
密码协议安全性的分析是网络安全的一个难题,运用形式方法对密码协议进行分析一直是该领域的研究热点 .运用模型检测工具SMV对TMN......