Tytuł:

CAPSL and MuCAPSL, Journal of Telecommunications and Information Technology, 2002, nr 4

Autor:

Millen, Jonathan K. ; Denker, Grit

Temat i słowa kluczowe:

multicast ; secure group communication ; MuCAPSL ; cryptographic protocol specification ; cryptographic protocol analysis ; CAPSL

Opis:

Secure communication generally begins with a connection establishment phase in which messages are exchanged by client and server protocol software to generate, share, and use secret data or keys. This message exchange is referred to as an authentication or key distribution cryptographic protocol. CAPSL is a formal language for specifying cryptographic protocols. It is also useful for addressing the correctness of the protocols on an abstract level, rather than the strength of the underlying cryptographic algorithms. We outline the design principles of CAPSL and its integrated specification and analysis environment. Protocols for secure group management are essential in applications that are concerned with confidential authenticated communication among coalition members, authenticated group decisions, or the secure administration of group membership and access control. We will also discuss our progress on designing a new extension of CAPSL for multicast protocols, called MuCAPSL.

Wydawca:

Instytut Łączności - Państwowy Instytut Badawczy, Warszawa

Data wydania:

2002, nr 4

Typ zasobu:

artykuł

Format:

application/pdf

Identyfikator zasobu:

ISSN 1509-4553, on-line: ISSN 1899-8852

DOI:

10.26636/jtit.2002.4.148

ISSN:

1509-4553

eISSN:

1899-8852

Źródło:

Journal of Telecommunications and Information Technology

Język:

ang

Prawa:

Biblioteka Naukowa Instytutu Łączności