Publication Details

Payment Protocols Verification: A Case Study

OČENÁŠEK, P.; KUČEROVÁ, P. Payment Protocols Verification: A Case Study. EDS '09 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2009. p. 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)
Kučerová Petra, Ing.
Keywords

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

Abstract

This paper gives a case study of paymentprotocol verification. It deals with the Visa 3-D Secure protocol that has beenverified by the Casper and FDR tools. The introduction to the protocol is givenfollowed by the description of verification tools. The paper concludes with theresults 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
BibTeX 
@inproceedings{BUT30211,
  author="Pavel {Očenášek} and Petra {Kučerová}",
  title="Payment Protocols Verification: A Case Study",
  booktitle="EDS '09 IMAPS CS International Conference Proceedings",
  year="2009",
  pages="38--43",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="978-80-214-3933-7"
}
Back to top