Publication Details

Payment Protocols Verification: A Case Study

OČENÁŠEK Pavel and KUČEROVÁ Petra. Payment Protocols Verification: A Case Study. In: EDS '09 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2009, pp. 38-43. ISBN 978-80-214-3933-7.
Czech title
Verifikace platebního protokolu: případová studie
Type
conference paper
Language
english
Authors
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT)
Kučerová Petra, Ing. (FIT BUT)
Keywords

Payment protocol, verification, Visa 3-D Secure, Casper, FDR.

Abstract

This paper gives a case study of payment protocol verification. It deals with the Visa 3-D Secure protocol that has been verified by the Casper and FDR tools. The introduction to the protocol is given followed by the description of verification tools. The paper concludes with the results of practical protocol verification.

Published
2009
Pages
38-43
Proceedings
EDS '09 IMAPS CS International Conference Proceedings
Conference
16th Electronic Devices and Systems IMAPS CS International Conference, Brno, CZ
ISBN
978-80-214-3933-7
Publisher
Brno University of Technology
Place
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8953,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Petra Ku\v{c}erov\'{a}",
   title = "Payment Protocols Verification: A Case Study",
   pages = "38--43",
   booktitle = "EDS '09 IMAPS CS International Conference Proceedings",
   year = 2009,
   location = "Brno, CZ",
   publisher = "Brno University of Technology",
   ISBN = "978-80-214-3933-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8953"
}
Back to top