Provable Implementations of Security Protocols

Andrew D. Gordon

doi:10.1109/LICS.2006.43

Provable Implementations of Security Protocols

Andrew D. Gordon

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

Abstract

The author implements the relatively new enterprise of adapting formal methods for security to work on code instead of abstract models. The goal is to lower the practical cost of security protocol verification by eliminating the need to write a separate formal model. The main technical content is on extracting pi-calculus models from protocol implementation code. Our software is developed in the functional language F#, a dialect of ML

Original language	English
Title of host publication	21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings
Publisher	Institute of Electrical and Electronics Engineers
Pages	345-346
Number of pages	2
ISBN (Print)	0-7695-2631-4
DOIs	https://doi.org/10.1109/LICS.2006.43
Publication status	Published - 2006

Access to Document

10.1109/LICS.2006.43

http://dx.doi.org/10.1109/LICS.2006.43

Cite this

@inproceedings{69c5dce9aa964537b0b6cdba8f3f7fb6,

title = "Provable Implementations of Security Protocols",

abstract = "The author implements the relatively new enterprise of adapting formal methods for security to work on code instead of abstract models. The goal is to lower the practical cost of security protocol verification by eliminating the need to write a separate formal model. The main technical content is on extracting pi-calculus models from protocol implementation code. Our software is developed in the functional language F\#, a dialect of ML ",

author = "Gordon, \{Andrew D.\}",

year = "2006",

doi = "10.1109/LICS.2006.43",

language = "English",

isbn = "0-7695-2631-4 ",

pages = "345--346",

booktitle = "21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

TY - GEN

T1 - Provable Implementations of Security Protocols

AU - Gordon, Andrew D.

PY - 2006

Y1 - 2006

N2 - The author implements the relatively new enterprise of adapting formal methods for security to work on code instead of abstract models. The goal is to lower the practical cost of security protocol verification by eliminating the need to write a separate formal model. The main technical content is on extracting pi-calculus models from protocol implementation code. Our software is developed in the functional language F#, a dialect of ML

AB - The author implements the relatively new enterprise of adapting formal methods for security to work on code instead of abstract models. The goal is to lower the practical cost of security protocol verification by eliminating the need to write a separate formal model. The main technical content is on extracting pi-calculus models from protocol implementation code. Our software is developed in the functional language F#, a dialect of ML

U2 - 10.1109/LICS.2006.43

DO - 10.1109/LICS.2006.43

M3 - Conference contribution

SN - 0-7695-2631-4

SP - 345

EP - 346

BT - 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings

PB - Institute of Electrical and Electronics Engineers

ER -

Provable Implementations of Security Protocols

Abstract

Access to Document

Fingerprint

Cite this