Detail publikačního výsledku

Payment Protocols Verification: A Case Study

OČENÁŠEK, P.; KUČEROVÁ, P.

Originální název

Payment Protocols Verification: A Case Study

Anglický název

Payment Protocols Verification: A Case Study

Druh

Stať ve sborníku mimo WoS a Scopus

Originální 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.

Anglický 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.

Klíčová slova v angličtině

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

Autoři

OČENÁŠEK, P.; KUČEROVÁ, P.

Rok RIV

2012

Vydáno

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