Formal Method for Security Analysis of Electronic Payment Protocols

Yi LIU  Qingkun MENG  Xingtong LIU  Jian WANG  Lei ZHANG  Chaojing TANG  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2018/06/19
DOI: 10.1587/transinf.2018EDP7108
Full Text: PDF(707KB)