Hao, C, Clark, JA orcid.org/0000-0002-9230-9739 and Jacob, Jeremy Lawrence orcid.org/0000-0003-4806-7426 (2004) A search-based approach to the automated design of security protocols. Report. York Computer Science Technical Report Series ("Yellow Reports"), York Computer Scienc . Department of Computer Science, University of York
Abstract
Security protocols play an important role in modern communications. However, security protocol development is a delicate task; experience shows that computer security protocols are notoriously difficult to get right. Recently, Clark and Jacob provided a framework for automatic protocol generation based on combinatorial optimisation techniques and the symmetric key part of BAN logic. This paper shows how such an approach can be further developed to encompass the full BAN logic without loss of efficiency and thereby synthesise public key protocols and hybrid protocols.
Metadata
Item Type: | Monograph |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | Freely available already. |
Keywords: | Metaheuristic Search,Authentication protocols,Automatic synthesis,Simulated annealing,Genetic Algorithms,Protocols library |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 07 Jun 2012 19:23 |
Last Modified: | 23 Jan 2025 00:44 |
Status: | Published |
Publisher: | Department of Computer Science, University of York |
Series Name: | York Computer Science Technical Report Series ("Yellow Reports") |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:72496 |