Second European Symposium on Research in Computer Security (ESORICS 92)
A Formal Framework for Authentication
Keywords : Authentication protocols, formal models, security standards
Abstract : This paper presents an abstract formal framework for authentication using the standardised formal description technique LOTOS. The purpose of this framework is to investigate the abstract definition of authentication in a standardised formal language and to illustrate how to put some recent standardisation activities on a formal basis. Two authentication protocols are specified as examples of how the framework may be used in the specification and analysis of authentication.
Proceedings table of contents