TitleA Fault Tree Representation of NPATRL Security Requirements
Publication TypeConference Paper
Year of Publication2003
AuthorsCervesato, I., and C. Meadows
Conference NameWorkshop on Issues in Theory of Security 2003
Abstract

In this paper we show how we can increase the ease of reading and writing security requirements for cryptographic protocols by developing a visual language based on fault trees. We develop such a semantics for a subset of NPATRL, a temporal language used for expressing safety requirements for cryptographic protocols, and show that the subset is sound and complete with respect to the semantics. We also show how the fault trees can be used to improve the presentation of some specifications that we developed in our analysis of the Group Domain of Interpretation (GDOI) protocol.

Full Text

CervesatoMeadows2003.pdf

NRL Publication Release Number

02-1221.1-3088