Detail publikace

Payment Protocols Verification: A Case Study

Originální název

Payment Protocols Verification: A Case Study

Anglický název

Payment Protocols Verification: A Case Study

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

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