Detail publikačního výsledku

Regression Based Logic for Authentication Protocol Design

OČENÁŠEK, P.; HRANÁČ, J.

Originální název

Regression Based Logic for Authentication Protocol Design

Anglický název

Regression Based Logic for Authentication Protocol Design

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

security protocol, verification, design, automation

Klíčová slova v angličtině

security protocol, verification, design, automation

Autoři

OČENÁŠEK, P.; HRANÁČ, J.

Rok RIV

2012

Vydáno

30.12.2010

Nakladatel

Institute of Electrical and Electronics Engineers

Místo

Chengdu

ISBN

978-1-4244-9674-7

Kniha

2010 International Conference on Communication and Vehicular Technology

Strany od

89

Strany do

92

Strany počet

4

BibTex

@inproceedings{BUT34905,
  author="Pavel {Očenášek} and Jakub {Hranáč}",
  title="Regression Based Logic for Authentication Protocol Design",
  booktitle="2010 International Conference on Communication and Vehicular Technology",
  year="2010",
  pages="89--92",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Chengdu",
  isbn="978-1-4244-9674-7"
}