Publication detail

Payment Protocols Verification: A Case Study

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

Original Title

Payment Protocols Verification: A Case Study

Type

article in a collection out of WoS and Scopus

Language

English

Original Abstract

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.

Keywords

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

Authors

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

RIV year

2009

Released

2. 9. 2009

Publisher

Brno University of Technology

Location

Brno

ISBN

978-80-214-3933-7

Book

EDS '09 IMAPS CS International Conference Proceedings

Pages from

38

Pages to

43

Pages count

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