%0 Journal Article
%T 计算可靠的diffie-hellman密钥交换协议自动证明
%A 冯超
%A 张权
%A 唐朝京
%J 通信学报
%D 2011
%X ？针对diffie-hellman密钥交换协议，提出了采用观测等价关系的建模方法，证明了该方法的可靠性，并利用该方法扩展了自动工具cryptoverif的验证能力。发现了对公钥kerberos协议自动证明中敌手能力模型的缺陷，并提出了修正方法。利用扩展的cryptoverif自动证明了基于diffie-hellman的kerberos协议的安全性，验证了该扩展方法的有效性。与现有大部分证明方法不同的是，该证明方法既保留了自动证明工具的易用性，又保证了计算模型下的强可靠性。
%U http://www.joconline.com.cn/CN/abstract/abstract148149.shtml