DocumentCode :
3382416
Title :
An encapsulated authentication logic for reasoning about key distribution protocols
Author :
Cervesato, Iliano ; Meadows, Catherine ; Pavlovic, Dusko
Author_Institution :
Tulane Univ., New Orleans, LA, USA
fYear :
2005
fDate :
20-22 June 2005
Firstpage :
48
Lastpage :
61
Abstract :
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their actions, the latter by global reasoning towards the impossibility of knowledge of some data. Hence, proofs conceptually decompose in two parts, each encapsulating the other as an assumption. From this observation, we develop a simple logic of authentication that encapsulates secrecy requirements as assumptions. We apply it within the derivational framework to derive a large class of key distribution protocols based on the authentication properties of their components.
Keywords :
cryptography; formal logic; message authentication; protocols; encapsulated authentication logic; global reasoning; key distribution protocols; local reasoning; secrecy requirements; Authentication; Body sensor networks; Computer security; Conferences; Cryptographic protocols; Laboratories; Logic; Public key; Skeleton; Taxonomy;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Security Foundations, 2005. CSFW-18 2005. 18th IEEE Workshop
ISSN :
1063-6900
Print_ISBN :
0-7695-2340-4
Type :
conf
DOI :
10.1109/CSFW.2005.7
Filename :
1443197
Link To Document :
بازگشت