Keyword : electronic payment protocol


Formal Method for Security Analysis of Electronic Payment Protocols
Yi LIU Qingkun MENG Xingtong LIU Jian WANG Lei ZHANG Chaojing TANG 
Publication:   
Publication Date: 2018/09/01
Vol. E101-D  No. 9 ; pp. 2291-2297
Type of Manuscript:  PAPER
Category: Information Network
Keyword: 
electronic payment protocolformal analysisaccountabilityfairnesstimelinesslogical reasoning
 Summary | Full Text:PDF(1MB)