spi演算证明协议非可否认性
李援,蒋建国,王焕宝
Formal analysis of non-repudiation protocol by spi
Yuan LI,Jian-guo JIANG,Huan-bao WANG
通信学报 . 2009, (5): 94 -98 .  DOI: 1000-436X(2009)05-0094-05