Publication detail

Payment Protocols Verification: A Case Study

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

Original Title

Payment Protocols Verification: A Case Study

English Title

Payment Protocols Verification: A Case Study

Type

conference paper

Language

en

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.

English 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.

RIV year

2009

Released

02.09.2009

Publisher

Brno University of Technology

Location

Brno

ISBN

978-80-214-3933-7

Book

EDS '09 IMAPS CS International Conference Proceedings

Edition

NEUVEDEN

Edition number

NEUVEDEN

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",
  annote="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.",
  address="Brno University of Technology",
  booktitle="EDS '09 IMAPS CS International Conference Proceedings",
  chapter="30211",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Brno University of Technology",
  year="2009",
  month="september",
  pages="38--43",
  publisher="Brno University of Technology",
  type="conference paper"
}