Publication result detail

Regression Based Logic for Authentication Protocol Design

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

Original Title

Regression Based Logic for Authentication Protocol Design

English Title

Regression Based Logic for Authentication Protocol Design

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

security protocol, verification, design, automation

Key words in English

security protocol, verification, design, automation

Authors

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

RIV year

2012

Released

30.12.2010

Publisher

Institute of Electrical and Electronics Engineers

Location

Chengdu

ISBN

978-1-4244-9674-7

Book

2010 International Conference on Communication and Vehicular Technology

Pages from

89

Pages to

92

Pages count

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"
}