TMN协议相关论文
基于传统的Dolev-Yao攻击者模型的密码协议形式化建模及其分析方法中,由于攻击者依据自身的知识和截获到的消息,形成尽可能的数据......
提出了一种利用陷门单向函数的性质对TMN协议进行改进的一般形式，利用串空间理论证明了它的安全性，并给出了几个具体的实现形式.......
密码协议的成功设计是安全领域的关键问题之一,对密码协议进行形式化分析成为当前研究的热点.通过引入颜色Petri网来描述密码协议,......
利用面向对象技术和时间Petri网的优点，提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂......
利用运行模式分析法对TMN协议进行了全面的分析,发现了对它的10类19种攻击形式.根据攻击的具体形式和攻击中入侵者的目的对这些攻......
对TMN协议的攻击进行分析,并从协议应该确保的安全目标,即保密性和认证性入手,结合采用的攻击方法对现有的攻击进行分类。......
SMV是分析有限状态系统的一种工具,三方密码协议运行模式分析法是分析密码协议的有效方法之一。为了说明这种方法的可行性,使用三......
