DH密钥协商相关论文
Athena分析方法由于没有抽象更多的密码学原语，因此不能分析较复杂的安全协议。该文针对互联网密钥交换协议（IKEv2），对Athena方法进行......
在串空间理论模型引入了描述DH问题的方法以及分析猜测攻击的攻击者能力 ,对基于口令认证的密钥交换协议的安全性进行了形式化分析......
