Detail publikace

Payment Protocols Verification: A Case Study

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.
Název česky
Verifikace platebního protokolu: případová studie
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Kučerová Petra, Ing. (FIT VUT)
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
Konference
16th Electronic Devices and Systems IMAPS CS International Conference, Brno, CZ
ISBN
978-80-214-3933-7
Vydavatel
Vysoké učení technické v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8953,
   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 = "https://www.fit.vut.cz/research/publication/8953"
}
Nahoru