Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., UIFS (FIT)
Kučerová Petra, Ing.
Abstrakt

This paper gives a case study of paymentprotocol verification. It deals with the Visa 3-D Secure protocol that has beenverified by the Casper and FDR tools. The introduction to the protocol is givenfollowed by the description of verification tools. The paper concludes with theresults of practical protocol verification.

Klíčová slova

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

Rok
2009
Strany
38–43
Sborník
EDS '09 IMAPS CS International Conference Proceedings
Konference
16th Electronic Devices and Systems IMAPS CS International Conference
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"
}
Projekty
Bezpečnost a zabezpečení aplikací sítí vestavěných systémů, GAČR, Standardní projekty, GA102/08/1429, zahájení: 2008-01-01, ukončení: 2010-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru