Publication result 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

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

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

Key words in English

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

Authors

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

RIV year

2012

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

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