Result Details
Routing Functionality in the Logic Approach for Authentication Protocol Design
OČENÁŠEK, P.; HRANÁČ, J. Routing Functionality in the Logic Approach for Authentication Protocol Design. Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. p. 366-373. ISBN: 978-3-642-21792-0.
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 usedfor protocol design described in a paper from 1998 by L. Buttyán, S. Staamannand U. Wilhelm which proposes a backward search (regression) whensynthesizing an authentication protocol. Furthermore, the approach presented inthis paper allows a designer to define participants who are trustworthy enoughto transfer information between other two participants without existence of adirect channel to achieve basic routing functionality.
Keywords
Logic, Authentication, Key Distribution, Security Protocol,
Routing.
Published
2011
Pages
366–373
Proceedings
Human Interface and the Management of Information. Interacting with Information
Series
Lecture Notes in Computer Science
Volume
6771
Conference
HCII 2011
ISBN
978-3-642-21792-0
Publisher
Springer Verlag
Place
Berlin Heidelberg
BibTeX
@inproceedings{BUT76281,
author="Pavel {Očenášek} and Jakub {Hranáč}",
title="Routing Functionality in the Logic Approach for Authentication Protocol Design",
booktitle="Human Interface and the Management of Information. Interacting with Information",
year="2011",
series="Lecture Notes in Computer Science",
volume="6771",
pages="366--373",
publisher="Springer Verlag",
address="Berlin Heidelberg",
isbn="978-3-642-21792-0"
}
Projects
Advanced recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-11-2, start: 2011-01-01, end: 2013-12-31, completed
Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, start: 2011-01-01, end: 2013-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
Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, start: 2011-01-01, end: 2013-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