Hao, C., Clark, J.A. and Jacob, J.L. (2004) Automated design of security protocols. Computational Intelligence, 20 (3). pp. 503-516. ISSN 0824-7935
Abstract
Security protocols play an important role in modern communications. However, security protocol development is a delicate task, and 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 optimization 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 the loss of efficiency and thereby synthesize public key protocols and hybrid protocols.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | York RAE Import |
Date Deposited: | 07 Jul 2009 14:32 |
Last Modified: | 07 Jul 2009 14:32 |
Published Version: | http://dx.doi.org/10.1111/j.0824-7935.2004.00249.x |
Status: | Published |
Publisher: | John Wiley & Sons, Inc., |
Identification Number: | 10.1111/j.0824-7935.2004.00249.x |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:5929 |