Xiaoqi Ma Xiao-Chun Cheng Formal verification of the Merchant Registration phase of the SET protocol. 155-162 2005 2 Int. J. Autom. Comput. 2 https://doi.org/10.1007/s11633-005-0155-5 db/journals/ijautcomp/ijautcomp2.html#MaC05