Compositionality of Security Protocols: A Research Agenda

12 years 1 months ago
Compositionality of Security Protocols: A Research Agenda
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the verification of security protocols have been developed. However, their applicability is limited to relatively small protocols that run in isolation. Many of the protocols that are in use today cannot be verified using these methods. One of the main reasons for this is that these protocols are composed of several sub-protocols. Such a composition of protocols is not addressed in the majority of formalisms. In this paper we identify a number of issues that are relevant to applying formal methods to the problem of security protocol composition. Additionally, we describe what research needs to be done to meet this challenge. Key words: Formal methods, Security protocol analysis, Compositionality, Security properties.
Cas J. F. Cremers
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Authors Cas J. F. Cremers
Comments (0)