TY - 计算机工程 A1 - 牛乐园,杨伊彤,王德军,孟博 T1 - 计算模型下的SSHV2协议认证性自动化分析 Y1 - 2015-10-15 00:00:00.0 JF - 计算机工程 JO - 计算机工程 SP - 148 EP - 154 VL - 41 IS - 10 UR - {http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2015.10.028} N1 - 10.3969/j.issn.1000-3428.2015.10.028 ER -