Proceedings of the International Conference on Communication and Electronic Information Engineering (CEIE 2016)

Formal Analysis of a Model For Electronic Payment Systems

Authors
Chen Wang, Nina Shu, Huaixi Wang
Corresponding Author
Chen Wang
Available Online October 2016.
DOI
10.2991/ceie-16.2017.78How to use a DOI?
Keywords
Electronic Payment; Formal Analysis; BAN Logic; Kailar Logic
Abstract

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.

Copyright
© 2017, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the International Conference on Communication and Electronic Information Engineering (CEIE 2016)
Series
Advances in Engineering Research
Publication Date
October 2016
ISBN
978-94-6252-312-8
ISSN
2352-5401
DOI
10.2991/ceie-16.2017.78How to use a DOI?
Copyright
© 2017, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

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  - 10.2991/ceie-16.2017.78
ID  - Wang2016/10
ER  -