TMN协议相关论文
基于传统的Dolev-Yao攻击者模型的密码协议形式化建模及其分析方法中,由于攻击者依据自身的知识和截获到的消息,形成尽可能的数据......
在该文中我们首先详细介绍串空间理论以及TMN协议的产生和发展过程.并以串空间理论为工具分析了该协议曾经存在的漏洞.然后就如何......
本文利用由WillMarrero,Edmund Clarke及Somesh Jha提出的认证协议的检测模型,对改进的TNM协议进行检测,给出了如何将TMN协议模型化,并利用该模型对其进行检测,找出了用CS模型没......
提出了一种利用陷门单向函数的性质对TMN协议进行改进的一般形式,利用串空间理论证明了它的安全性,并给出了几个具体的实现形式.......
密码协议的成功设计是安全领域的关键问题之一,对密码协议进行形式化分析成为当前研究的热点.通过引入颜色Petri网来描述密码协议,......
运用形式化方法分析密码协议的安全性已成为网络信息安全领域的研究热点之一。提出一种新的扩展Petri网——LPetri网。并且利用LPe......
利用面向对象技术和时间Petri网的优点,提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂......
利用运行模式分析法对TMN协议进行了全面的分析,发现了对它的10类19种攻击形式.根据攻击的具体形式和攻击中入侵者的目的对这些攻......
对TMN协议的攻击进行分析,并从协议应该确保的安全目标,即保密性和认证性入手,结合采用的攻击方法对现有的攻击进行分类。......
SMV是分析有限状态系统的一种工具,三方密码协议运行模式分析法是分析密码协议的有效方法之一。为了说明这种方法的可行性,使用三......