In: IEEE INFOCOM'88 - The Conference on Computer Communications, Proceedings, Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies - Networks: Evolution or Revolution?, pages 1105-1109. New York: IEEE, 1988.
Abstract: A authentication protocol with security imbedded into it is reported. It is based on a combination of the private-key and the public-key encryption systems. A Petri-net model of the protocol is presented to verify that the protocol is correct and deadlock-free.