SET协议模型的改进与SMV分析

SET协议模型的改进与SMV分析

鲁四美，张建林

Improvement of SET protocol model and formal analysis via SMV

LU Si-mei，ZHANG Jian-lin

计算机工程与应用 . 2010, (8): 113 -116 . DOI: 10.3778/j.issn.1002-8331.2010.08.032