Conference paper

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.
Publication language:english
Original title:Payment Protocols Verification: A Case Study
Title (cs):Verifikace platebního protokolu: případová studie
Pages:38-43
Proceedings:EDS '09 IMAPS CS International Conference Proceedings
Conference:16th Electronic Devices and Systems IMAPS CS International Conference
Place:Brno, CZ
Year:2009
ISBN:978-80-214-3933-7
Publisher:Brno University of Technology
Keywords
Payment protocol, verification, Visa 3-D Secure, Casper, FDR.
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8953}
}

Your IPv4 address: 54.81.54.46
Switch to IPv6 connection

DNSSEC [dnssec]