Security Properties and CSP

Security properties such as con dentiality and authenticity may be considered in terms of the ow of messages within a network. To the extent that this characterisation is justi ed, the use of a process algebra such as Communicating Sequential Processes (CSP) seems appropriate to describe and analyse them. This paper explores ways in which security properties may be described as CSP speci cations, how security mechanisms may be captured, and how particular protocols designed to provide these properties may be analysed within the CSP framework. The paper is concerned with the theoretical basis for such analysis. A sketch veri cation of a simple example is carried out as an illustration.

• Type: Conference
• Year: 1996
• Where: SP
• Authors: Steve Schneider
• Keywords: Communicating Sequential Processes, CSP Speci Cations, Security Privacy, Security Properties, SP 1996