移动支付协议PCMS的形式化分析和验证

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

移动支付协议PCMS的形式化分析和验证

吴格格，庄雷，张坤丽，王国卿

Formal analysis and verification of mobile

payment protocol PCMS

WU Gege，ZHUANG Lei，ZHANG Kunli，WANG Guoqing

计算机工程与科学 . 2017, (1): 67 -73 .