计算可靠的Diffie-Hellman密钥交换协议自动证明
冯 超,张 权,唐朝京
通信学报 . 2011, (10): 15 -126 .