TY - 计算机工程 A1 - 夏锐, 钱振江, 刘苇 T1 - 一种基于Isabelle/HOL的安全通信协议验证方法 Y1 - 2020-07-17 00:00:00.0 JF - 计算机工程 JO - 计算机工程 SP - 146 EP - 153 VL - 47 IS - 1 UR - {http://www.ecice06.com/CN/10.19678/j.issn.1000-3428.0058022} N1 - 10.19678/j.issn.1000-3428.0058022 ER -