Key points are not available for this paper at this time.
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
Catherine Meadows (Wed,) studied this question.