计算可靠的Diffie-Hellman密钥交换协议自动证明
冯超,张权,唐朝京
Computationally sound mechanized proofs for Diffie-Hellman key exchange protocols
Chao FENG,Quan ZHANG,Chao-jing TANG
通信学报 . 2011, (10): 118 -126 .  DOI: 1000-436X(2011)10-0118-09