Detail publikace

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.
Název česky
Verifikace platebního protokolu: případová studie
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
Kučerová Petra, Ing.
Klíčová slova

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

Abstrakt

Článek se zabývá verifikací platebního systému. Zaměřuje se především na protokol Visa 3-D Secure.

Rok
2009
Strany
38–43
Sborník
EDS '09 IMAPS CS International Conference Proceedings
ISBN
978-80-214-3933-7
Vydavatel
Brno University of Technology
Místo
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"
}
Nahoru