Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
OČENÁŠEK, P. KUČEROVÁ, P.
Originální název
Payment Protocols Verification: A Case Study
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
Payment protocol, verification, Visa 3-D Secure, Casper, FDR.
Autoři
OČENÁŠEK, P.; KUČEROVÁ, P.
Rok RIV
2009
Vydáno
2. 9. 2009
Nakladatel
Brno University of Technology
Místo
Brno
ISBN
978-80-214-3933-7
Kniha
EDS '09 IMAPS CS International Conference Proceedings
Strany od
38
Strany do
43
Strany počet
6
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" }