@article{夏锐_146, author = {[夏锐, 钱振江, 刘苇]}, title = {一种基于Isabelle/HOL的安全通信协议验证方法}, publisher = {计算机工程}, year = {2021}, journal = {计算机工程}, volume = {47}, number = {1}, eid = {146}, pages = {146-153}, keywords = {通信协议;混合密钥;形式化建模;形式化验证;Isabelle/HOL定理证明辅助工具}, doi = http://www.ecice06.com/CN/10.19678/j.issn.1000-3428.0058022 }