Payment Protocols Verification: A Case Study
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Payment Protocols Verification: A Case Study
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Payment Protocols Verification: A Case Study
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F08%2F1429" target="_blank" >GA102/08/1429: Bezpečnost a zabezpečení aplikací sítí vestavěných systémů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2009
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
EDS '09 IMAPS CS International Conference Proceedings
ISBN
978-80-214-3933-7
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
—
Název nakladatele
Brno University of Technology
Místo vydání
Brno
Místo konání akce
Brno
Datum konání akce
2. 9. 2009
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—