![](/img/cover-not-exists.png)
A Novel Logic for Analyzing Electronic Payment Protocols
Liu, Yi, Liu, Xing-Tong, Tang, Chao-Jing, Gong, T., Yang, T., Xu, J.Volume:
7
Year:
2016
Language:
english
Journal:
ITM Web of Conferences
DOI:
10.1051/itmconf/20160701002
File:
PDF, 1.29 MB
english, 2016