Článek ve sborníku konference

OČENÁŠEK Pavel a KUČEROVÁ Petra. Payment Protocols Verification: A Case Study. In: EDS '09 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2009, s. 38-43. ISBN 978-80-214-3933-7.
Jazyk publikace:angličtina
Název publikace:Payment Protocols Verification: A Case Study
Název (cs):Verifikace platebního protokolu: případová studie
Strany:38-43
Sborník:EDS '09 IMAPS CS International Conference Proceedings
Konference:16th Electronic Devices and Systems IMAPS CS International Conference
Místo vydání:Brno, CZ
Rok:2009
ISBN:978-80-214-3933-7
Vydavatel:Vysoké učení technické v Brně
Klíčová slova
Payment protocol, verification, Visa 3-D Secure, Casper, FDR.
Anotace
Článek se zabývá verifikací platebního systému. Zaměřuje se především na protokol Visa 3-D Secure.
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.cs?id=8953}
}

Vaše IPv4 adresa: 107.22.48.243
Přepnout na IPv6 spojení

DNSSEC [dnssec]