Constructing and reasoning about security protocols using invariants

A.J. Mooij

doi:10.1016/j.entcs.2008.02.017

Constructing and reasoning about security protocols using invariants

A.J. Mooij

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings 12th BCS-FACS Refinement Workshop (REFINE 2007, Oxford, UK, July 2, 2007)
Editors	E. Boiten, J. Derrick, G. Smith
Pages	99-126
DOIs	https://doi.org/10.1016/j.entcs.2008.02.017
Publication status	Published - 2008

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	201
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2008.02.017

Cite this

@inproceedings{e61c36601c0a4eaa90143803007abb2b,

title = "Constructing and reasoning about security protocols using invariants",

author = "A.J. Mooij",

year = "2008",

doi = "10.1016/j.entcs.2008.02.017",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "99--126",

editor = "E. Boiten and J. Derrick and G. Smith",

booktitle = "Proceedings 12th BCS-FACS Refinement Workshop (REFINE 2007, Oxford, UK, July 2, 2007)",

}

Constructing and reasoning about security protocols using invariants. / Mooij, A.J.
Proceedings 12th BCS-FACS Refinement Workshop (REFINE 2007, Oxford, UK, July 2, 2007). ed. / E. Boiten; J. Derrick; G. Smith. 2008. p. 99-126 (Electronic Notes in Theoretical Computer Science; Vol. 201).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Constructing and reasoning about security protocols using invariants

AU - Mooij, A.J.

PY - 2008

Y1 - 2008

U2 - 10.1016/j.entcs.2008.02.017

DO - 10.1016/j.entcs.2008.02.017

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 99

EP - 126

BT - Proceedings 12th BCS-FACS Refinement Workshop (REFINE 2007, Oxford, UK, July 2, 2007)

A2 - Boiten, E.

A2 - Derrick, J.

A2 - Smith, G.

ER -