Regression Based Logic for Authentication Protocol Design
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F10%3APU90532" target="_blank" >RIV/00216305:26230/10:PU90532 - 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
Regression Based Logic for Authentication Protocol Design
Popis výsledku v původním jazyce
This paper describes one of possible implementations of method used for protocol design described in a paper from 1998 by L. Buttyán, S. Staamann and U. Wilhelm which proposes a backward search (regression) when synthesizing an authentication protocol. We focus on automation of this method and enhancing it by adding an extension to it introducing message ownership of messages.
Název v anglickém jazyce
Regression Based Logic for Authentication Protocol Design
Popis výsledku anglicky
This paper describes one of possible implementations of method used for protocol design described in a paper from 1998 by L. Buttyán, S. Staamann and U. Wilhelm which proposes a backward search (regression) when synthesizing an authentication protocol. We focus on automation of this method and enhancing it by adding an extension to it introducing message ownership of messages.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
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)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2010
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
2010 International Conference on Communication and Vehicular Technology
ISBN
978-1-4244-9674-7
ISSN
—
e-ISSN
—
Počet stran výsledku
4
Strana od-do
—
Název nakladatele
Institute of Electrical and Electronics Engineers
Místo vydání
Chengdu
Místo konání akce
Hanoi
Datum konání akce
30. 12. 2010
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—