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