Result Details
Regression Based Logic for Authentication Protocol Design
OČENÁŠEK, P.; HRANÁČ, J. Regression Based Logic for Authentication Protocol Design. 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010. p. 89-92. ISBN: 978-1-4244-9674-7.
Type
conference paper
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
Hranáč Jakub, Ing.
Hranáč Jakub, Ing.
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
Published
2010
Pages
89–92
Proceedings
2010 International Conference on Communication and Vehicular Technology
Conference
ICCVT 2010
ISBN
978-1-4244-9674-7
Publisher
Institute of Electrical and Electronics Engineers
Place
Chengdu
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"
}
Projects
Recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, start: 2010-04-01, end: 2010-12-31, completed
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments