Publication Details

Regression Based Logic for Authentication Protocol Design

OČENÁŠEK Pavel and HRANÁČ Jakub. Regression Based Logic for Authentication Protocol Design. In: 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010, pp. 89-92. ISBN 978-1-4244-9674-7.

Czech title

Logika pro autentizační protokoly založená na regresních technikách

Type

conference paper

Language

english

Authors

Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT)
Hranáč Jakub, Ing. (FIT BUT)

Keywords

security protocol, verification, design, automation

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.

Published

2010

Pages

89-92

Proceedings

2010 International Conference on Communication and Vehicular Technology

Conference

ICCVT 2010, Hanoi, VN

ISBN

978-1-4244-9674-7

Publisher

Institute of Electrical and Electronics Engineers

Place

Chengdu, CN

BibTeX

@INPROCEEDINGS{FITPUB9419,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Jakub Hran\'{a}\v{c}",
   title = "Regression Based Logic for Authentication Protocol Design",
   pages = "89--92",
   booktitle = "2010 International Conference on Communication and Vehicular Technology",
   year = 2010,
   location = "Chengdu, CN",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-1-4244-9674-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9419"
}