Protocols are programs too: the meta-heuristic search for security protocols

J A Clark; J L Jacob

Protocols are programs too: the meta-heuristic search for security protocols

Computer Science

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

Abstract

Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspects in a uniform way based on combinatorial optimisation techniques. The belief logic of Burrows, Abadi and Needham BAN logic) is viewed as both a specification and proof system and as a 'protocol programming language'. The paper shows how simulated annealing and genetic algorithms can be used to generate correct and efficient BAN protocols. It also investigates the use of parsimonious and redundant representations. (C) 2001 Elsevier Science B.V. All rights reserved.

Original language	English
Pages (from-to)	891-904
Number of pages	14
Journal	Information and Software Technology
Volume	43
Issue number	14
Publication status	Published - 15 Dec 2001

Keywords

secure protocols
belief logic
simulated annealing
genetic algorithms

Access to Document

http://linkinghub.elsevier.com/retrieve/pii/S0950584901001951

Cite this

@article{74846ceaeb0d45458334be40bb965018,

title = "Protocols are programs too: the meta-heuristic search for security protocols",

abstract = "Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspects in a uniform way based on combinatorial optimisation techniques. The belief logic of Burrows, Abadi and Needham BAN logic) is viewed as both a specification and proof system and as a 'protocol programming language'. The paper shows how simulated annealing and genetic algorithms can be used to generate correct and efficient BAN protocols. It also investigates the use of parsimonious and redundant representations. (C) 2001 Elsevier Science B.V. All rights reserved.",

keywords = "secure protocols, belief logic, simulated annealing, genetic algorithms",

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

year = "2001",

month = dec,

day = "15",

language = "English",

volume = "43",

pages = "891--904",

journal = "Information and Software Technology",

publisher = "Elsevier",

number = "14",

}

TY - JOUR

T1 - Protocols are programs too: the meta-heuristic search for security protocols

AU - Clark, J A

AU - Jacob, J L

PY - 2001/12/15

Y1 - 2001/12/15

N2 - Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspects in a uniform way based on combinatorial optimisation techniques. The belief logic of Burrows, Abadi and Needham BAN logic) is viewed as both a specification and proof system and as a 'protocol programming language'. The paper shows how simulated annealing and genetic algorithms can be used to generate correct and efficient BAN protocols. It also investigates the use of parsimonious and redundant representations. (C) 2001 Elsevier Science B.V. All rights reserved.

AB - Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspects in a uniform way based on combinatorial optimisation techniques. The belief logic of Burrows, Abadi and Needham BAN logic) is viewed as both a specification and proof system and as a 'protocol programming language'. The paper shows how simulated annealing and genetic algorithms can be used to generate correct and efficient BAN protocols. It also investigates the use of parsimonious and redundant representations. (C) 2001 Elsevier Science B.V. All rights reserved.

KW - secure protocols

KW - belief logic

KW - simulated annealing

KW - genetic algorithms

M3 - Article

VL - 43

SP - 891

EP - 904

JO - Information and Software Technology

JF - Information and Software Technology

IS - 14

ER -