Reference from ESORICS proceedings

Second European Symposium on Research in Computer Security (ESORICS 92)

A Formal Framework for Authentication

Colin Boyd

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.

(Pages 273-292)

Proceedings table of contents