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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings 12th BCS-FACS Refinement Workshop (REFINE 2007, Oxford, UK, July 2, 2007)
Redacteuren	E. Boiten, J. Derrick, G. Smith
Pagina's	99-126
DOI's	https://doi.org/10.1016/j.entcs.2008.02.017
Status	Gepubliceerd - 2008

Publicatie series

Naam	Electronic Notes in Theoretical Computer Science
Volume	201
ISSN van geprinte versie	1571-0061

Toegang tot document

10.1016/j.entcs.2008.02.017

Citeer dit

@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). uitgave / E. Boiten; J. Derrick; G. Smith. 2008. blz. 99-126 (Electronic Notes in Theoretical Computer Science; Vol. 201).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -