计算模型下的SSHV2协议认证性自动化分析

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

计算模型下的SSHV2协议认证性自动化分析

牛乐园,杨伊彤,王德军,孟博

Automatic Analysis on Authentication of SSHV2 Protocol in Computational Model

NIU Leyuan,YANG Yitong,WANG Dejun,MENG Bo

计算机工程 . 2015, (10): 148 -154 . DOI: 10.3969/j.issn.1000-3428.2015.10.028