Specification and Analysis of Secure Electronic Transaction Protocol Based on Petri Nets
Jiang Chang-jun · Jisuanji gongcheng · 2003
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.