摘要： 对密码协议模型进行了分析，引入时延Petri网分析工具，建立了一种新的安全电子交易协议的形式描述工具。利用该分析工具对安全电子交易协议中的支付部分进行了形式描述，并分析了它的安全等问题。
关键词:
Petri网,
电子商务,
安全电子交易,
密码协议
Abstract: This Paper analyses the cryptographic protocol models and introduces a kind of analysis tool called timed Petri net, which is served as the formal specification tool of SET (secure electronic transaction) protocol. Requirements for payment transaction in the SET protocol are formally represented, and then their security is discussed and analyzed.
中图分类号:
袁志祥,蒋昌俊. 基于Petri网的安全电子交易协议描述与分析[J]. , 2003, 29(10): 60-63.
YUAN Zhixiang1,2, JIANG Changjun1. Specification and Analysis of Secure Electronic Transaction Protocol Based on Petri Nets[J]. , 2003, 29(10): 60-63.