Keyword : accountability


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)

Privacy-Enhancing Trust Infrastructure for Process Mining
Sven WOHLGEMUTH Kazuo TAKARAGI 
Publication:   
Publication Date: 2018/01/01
Vol. E101-A  No. 1 ; pp. 149-156
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: 
Keyword: 
resiliencerisk managementsafetyaccountabilityopen data
 Summary | Full Text:PDF(2.2MB)