Fast automatic security protocol generation

Article type: Research Article

Authors: Zhou, Hongbin | Foley, Simon N.^{; *}

Affiliations: Department of Computer Science, University College, Cork, Ireland. E-mails: zhou@cs.ucc.ie, s.foley@cs.ucc.ie

Correspondence: [*] Corresponding author.

Abstract: An automatic security protocol generator is described that uses logic-based heuristic rules to guide it in a backward search for suitable protocols from protocol goals. The approach taken is unlike existing automatic protocol generators which typically carry out a forward search for candidate protocols from the protocol assumptions. A prototype generator has been built that performs well in the automatic generation of authentication and key exchange protocols.

Keywords: Security protocols, authentication logics, automated protocol generation

DOI: 10.3233/JCS-2011-0432

Journal: Journal of Computer Security, vol. 20, no. 2-3, pp. 119-167, 2012