诚实理想相关论文
安全协议是实现信息安全的基础,是网络安全通信的核心技术,它的正确性对网络的安全起着非常重要的作用,因此其自身的安全性问题已......
给出了鉴别协议猜测攻击的串空间模型．扩充了攻击者串和密码运算类型，重新定义了理想概念，并证明了相关定理．扩展的诚实理想分析模型不......
