TY  - RPRT
TI  - Novel Logical Method for Security Analysis of Electronic Payment Protocols
AU  - Yi Liu
AU  - Xingtong Liu
AU  - Lei Zhang
AU  - Jian Wang
AU  - Chaojing Tang
PY  - 2017
DO  - 10.1587/transinf.2018edp7108
UR  - https://arxiv.org/abs/1706.10078
ID  - 1706.10078
ER  -