Detail publikace

Payment Protocols Verification: A Case Study

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"
}