Formal Analysis of a Model For Electronic Payment Systems
Chen Wang, Nina Shu, Huaixi Wang
Available Online October 2016.
- https://doi.org/10.2991/ceie-16.2017.78How to use a DOI?
- Electronic Payment; Formal Analysis; BAN Logic; Kailar Logic
- A model that generalizes credit-card-based electronic payment systems is analyzed by BAN logic and Kailar logic. This paper extends Kailar logic to process the analysis of ciphertext. This paper provides a new method to analyze ciphertext.
- Open Access
- This is an open access article distributed under the CC BY-NC license.
Cite this article
TY - CONF AU - Chen Wang AU - Nina Shu AU - Huaixi Wang PY - 2016/10 DA - 2016/10 TI - Formal Analysis of a Model For Electronic Payment Systems BT - Proceedings of the International Conference on Communication and Electronic Information Engineering (CEIE 2016) PB - Atlantis Press SP - 613 EP - 620 SN - 2352-5401 UR - https://doi.org/10.2991/ceie-16.2017.78 DO - https://doi.org/10.2991/ceie-16.2017.78 ID - Wang2016/10 ER -