TitleExtending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic Primitives
Publication TypeConference Proceedings
Year of Publication2000
AuthorsMeadows, C.
Conference NameFirst Workshop on Issues in the Theory of Security - WITS'00
Pagination87-92
Conference LocationGeneva, Switzerland
Abstract

In this paper we show how we have been using the NRL Protocol Analyzer to analyze the Cliques protocol, a group key distribution protocol based on Group Diffie-Hellman.

Full Text

Meadows2000b.pdf

NRL Publication Release Number

00-1221.1-1004