Result Details

Payment Protocols Verification: A Case Study

OČENÁŠEK, P.; KUČEROVÁ, P. Payment Protocols Verification: A Case Study. EDS '09 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2009. p. 38-43. ISBN: 978-80-214-3933-7.
Type
conference paper
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
Kučerová Petra, Ing.
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.

Published
2009
Pages
38–43
Proceedings
EDS '09 IMAPS CS International Conference Proceedings
Conference
16th Electronic Devices and Systems IMAPS CS International Conference
ISBN
978-80-214-3933-7
Publisher
Brno University of Technology
Place
Brno
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"
}
Projects
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top