电子支付安全协议的Petri网模型及分析
전자지부안전협의적Petri망모형급분석
Petri net model and analysis for electronic payment security protocol
저자의 최근 논문