MuCAPSL

Author

Millen, Jon ; Denker, Grit

Author_Institution

Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA

Volume

1

fYear

2003

fDate

22-24 April 2003

Firstpage

238

Abstract

Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New languages and models are necessary to appropriately capture the concepts of such protocols and make them amenable to formal analysis. For this purpose, we developed MuCAPSL (Multicast Common Authentication Protocol Specification Language). In this paper we introduce the MuCAPSL features and motivate our design decisions by illustrating the practical use of MuCAPSL with the help of a simplified version of the secure group communication protocol used in SecureSpread We also briefly introduce MuCAPSL´s intermediate language MuCIL which serves as an interface language for analysis tools.

Keywords

message authentication; multicast communication; protocols; specification languages; telecommunication security; MuCAPSL; MuCIL; Multicast Common Authentication Protocol Specification Language; SecureSpread; access control; confidential group communication; interface language; secure group communication protocol; secure group communication protocols; secure management group membership; Access control; Access protocols; Authentication; Computer languages; Computer science; Laboratories; Multicast protocols; Specification languages; Unicast; Virtual private networks;

fLanguage

English

Publisher

ieee

Conference_Titel

DARPA Information Survivability Conference and Exposition, 2003. Proceedings

Print_ISBN

0-7695-1897-4

Type

conf

DOI

10.1109/DISCEX.2003.1194888

Filename

1194888