Detail publikace

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

Jazyk

en

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.

Dokumenty

BibTex 


@inproceedings{BUT34905,
  author="Pavel {Očenášek} and Jakub {Hranáč}",
  title="Regression Based Logic for Authentication Protocol Design",
  annote="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.",
  address="Institute of Electrical and Electronics Engineers",
  booktitle="2010 International Conference on Communication and Vehicular Technology",
  chapter="34905",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Institute of Electrical and Electronics Engineers",
  year="2010",
  month="december",
  pages="89--92",
  publisher="Institute of Electrical and Electronics Engineers",
  type="conference paper"
}