Automated design of security protocols

C. Hao; J.A. Clark; J.L. Jacob

doi:10.1111/j.0824-7935.2004.00249.x

Automated design of security protocols

C. Hao, J.A. Clark, J.L. Jacob

Computer Science

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	503-516
Number of pages	13
Journal	Computational Intelligence
Volume	20
Issue number	3
DOIs	https://doi.org/10.1111/j.0824-7935.2004.00249.x
Publication status	Published - Jul 2004

Access to Document

10.1111/j.0824-7935.2004.00249.x

http://dx.doi.org/10.1111/j.0824-7935.2004.00249.x

Cite this

@article{3083dc79f44441c2ad69667043b90031,

title = "Automated design of security protocols",

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.",

author = "C. Hao and J.A. Clark and J.L. Jacob",

year = "2004",

month = jul,

doi = "10.1111/j.0824-7935.2004.00249.x",

language = "English",

volume = "20",

pages = "503--516",

journal = "Computational Intelligence",

issn = "0824-7935",

publisher = "Wiley-Blackwell",

number = "3",

}

TY - JOUR

T1 - Automated design of security protocols

AU - Hao, C.

AU - Clark, J.A.

AU - Jacob, J.L.

PY - 2004/7

Y1 - 2004/7

N2 - 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.

AB - 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.

U2 - 10.1111/j.0824-7935.2004.00249.x

DO - 10.1111/j.0824-7935.2004.00249.x

M3 - Article

SN - 0824-7935

VL - 20

SP - 503

EP - 516

JO - Computational Intelligence

JF - Computational Intelligence

IS - 3

ER -