信息网络安全
交互型电子签名的形式化分析
朱鹏飞, 张利琴, 李伟, 于华章
Formal Analysis on Interactive Electronic Signing
Pengfei ZHU, Liqin ZHANG, Wei LI, Huazhang YU
信息网络安全 . 2016, (9): 31 -34 .  DOI: 10.3969/j.issn.1671-1122.2016.09.006