Improvement of SET protocol model and formal analysis via SMV
LU Si-mei,ZHANG Jian-lin
Computer Engineering and Applications . 2010, (8): 113 -116 .  DOI: 10.3778/j.issn.1002-8331.2010.08.032