作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
基于Petri网的安全电子交易协议描述与分析
袁志祥,蒋昌俊
Specification and Analysis of Secure Electronic Transaction Protocol Based on Petri Nets
YUAN Zhixiang1,2, JIANG Changjun1
. 2003, (10): 60 -63 .