密码协议分析相关论文
文章从新鲜性定义、秘密性定义两方面对基于细粒度新鲜性的密码协议进行了基本定义,阐述了其一些其他的基本符号表示,分析了初始假设......
量子密码是一种将量子力学原理与现代密码学思想融合在一起实现信息加密的新型密码体制。与经典密码相比,量子密码具有可证明安全性......
本文探讨了在密码协议的分析过程中,引入形式化方法的必然性。...
Model checking can aid the design,analysis,and verification of the cryptographic protocols used over open networks and d......
提出了一种简单的,更适合于自动化操作的密码协议分析方法.通过进一步分析攻击者的计算能力,形成一个有效的自动推理系统.攻击者为......
基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全......
逻辑方法是密码协议分析中具有代表性的形式化方法。从已有文献的技术成果出发,以经典的类BAN逻辑作为主要对象,把逻辑方法在密码......