Payment Protocols Verification: A Case Study
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU82618" target="_blank" >RIV/00216305:26230/09:PU82618 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Payment Protocols Verification: A Case Study
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F08%2F1429" target="_blank" >GA102/08/1429: Safety and security of networked embedded system applications</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
EDS '09 IMAPS CS International Conference Proceedings
ISBN
978-80-214-3933-7
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
Brno University of Technology
Place of publication
Brno
Event location
Brno
Event date
Sep 2, 2009
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—