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 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
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