The NRL Protocol Analyzer: An Overview

The NRL Protocol Analyzer: An Overview (1996)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Catherine Meadows

Citations:

216 - 20 self

BibTeX

@MISC{Meadows96thenrl,
    author = {Catherine Meadows},
    title = {The NRL Protocol Analyzer: An Overview},
    year = {1996}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

this paper we give an overview of how the Analyzer works and describe its achievements so far. We also show how our use of the Prolog language benefited us in the design and implementation of the Analyzer. / 1. INTRODUCTION

Citations

2292	New Directions in Cryptography - Diffie, Hellman - 1976
1040	R.: A logic for authentication - Burrows, Abadi, et al. - 1989
872	A.C.-C.: On the security of public key protocols - Dolev, Yao - 1983
234	New directions in cryptography - e, Hellman - 1976
231	Authentication and Authenticated Key Exchanges - Diffie, Oorschot, et al. - 1992
221	Timestamps in key distribution protocols - Denning, Sacco - 1981
128	Three systems for cryptographic protocol analysis - Kemmerer, Meadows, et al. - 1994
91	Formal verification of cryptographic protocols: A survey - Meadows - 1995
80	Applying Formal Methods to the Analysis of a Key Management Protocol - Meadows - 1990
55	Privacy and Authentication for Wireless Local Area Networks - AZIZ, DIFFIE
50	On the Security of Ping-Pong Protocols - Dolev, Even, et al. - 1982
48	A note on the use of timestamps as nonces - Neuman, Stubblebine - 1993
45	A Logical Language for Specifying Cryptographic Protocol Requirements - Syverson, Meadows - 1993
44	Authentication and authenticated key exchanges - e, Oorschot, et al. - 1992
33	A formal language for cryptographic protocol requirements. Des. Codes Cryptography - Syverson, Meadows - 1996
29	A System for the Specification and Analysis of Key Management Protocols - Meadows
21	Formal requirements for key distribution protocols - Syverson, Meadows - 1994
15	Xow to Selectively Broadcast a Secret - Simmons - 1985
9	A Security Scheme for Resource Sharing over a Network - Burns, Mitchell - 1990
9	A system for the speci cation and analysis of key management protocols - Meadows - 1991
2	A Security Scheme for Resource Shoring Over a Network - Burns, Mitchell - 1990