Automated design of security protocols

H Chen; J A Clark; J L Jacob

Automated design of security protocols

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 loss of efficiency and thereby synthesize public key protocols and hybrid protocols.

Original language	English
Title of host publication	CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS
Place of Publication	NEW YORK
Publisher	IEEE
Pages	2181-2188
Number of pages	8
ISBN (Print)	0-7803-7804-0
Publication status	Published - 2003
Event	Congress on Evolutionary Computation (CEC) - Canberra Duration: 8 Dec 2003 → 12 Dec 2003

Conference

Conference	Congress on Evolutionary Computation (CEC)
City	Canberra
Period	8/12/03 → 12/12/03

Cite this

@inproceedings{3a3806947523476ebb57dc87bf639904,

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 loss of efficiency and thereby synthesize public key protocols and hybrid protocols.",

author = "H Chen and Clark, {J A} and Jacob, {J L}",

year = "2003",

language = "English",

isbn = "0-7803-7804-0",

pages = "2181--2188",

booktitle = "CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS",

publisher = "IEEE",

address = "United States",

note = "Congress on Evolutionary Computation (CEC) ; Conference date: 08-12-2003 Through 12-12-2003",

}

TY - GEN

T1 - Automated design of security protocols

AU - Chen, H

AU - Clark, J A

AU - Jacob, J L

PY - 2003

Y1 - 2003

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 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 loss of efficiency and thereby synthesize public key protocols and hybrid protocols.

M3 - Conference contribution

SN - 0-7803-7804-0

SP - 2181

EP - 2188

BT - CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS

PB - IEEE

CY - NEW YORK

T2 - Congress on Evolutionary Computation (CEC)

Y2 - 8 December 2003 through 12 December 2003

ER -