基于PVS的密码协议形式化规范(英文)

欢迎访问中国科学院大学学报，今天是

Email Alert RSS English

基于PVS的密码协议形式化规范(英文)

胡成军, 吕述望, 郑援, 沈昌祥

Formal Specification of Cryptographic Protocols Using PVS

HU Cheng-Jun, ZHENG Yuan, LU Shu-Wang, SHEN Chang-Xiang

中国科学院大学学报 . 2002, (3): 233 -239 . DOI: 10.7523/j.issn.2095-6134.2002.3.003