Applying Formal Methods to the Analysis of a Key Management Protocol
Catherine A. Meadows · Journal of Computer Security · 1992
In this paper we develop methods for analyzing key management and authentication protocols using techniques developed for the solutions of equations in a term rewriting system. In particular, we describe a model of a class of protocols and possible a