Protocol Analysis, Composability and Computation

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Original language	English
Title of host publication	Computer Systems
Subtitle of host publication	Theory, Technology, and Applications
Editors	Andrew Herbert, Karen Spärck Jones
Place of Publication	New York
Publisher	Springer
Chapter	2
Pages	15-19
ISBN (Electronic)	9780387218212
ISBN (Print)	9780387201702
DOIs	https://doi.org/10.1007/0-387-21821-1_3
Publication status	Published - 26 Feb 2004

Name	Monographs in Computer Science
Publisher	Springer
ISSN (Print)	0172-603X
ISSN (Electronic)	2512-5486

Access to Document

@inbook{00ebb74b650e48ae9879ace79dd3d153,

title = "Protocol Analysis, Composability and Computation",

author = "Ross Anderson and Michael Bond",

year = "2004",

month = feb,

day = "26",

doi = "10.1007/0-387-21821-1_3",

language = "English",

isbn = "9780387201702",

series = "Monographs in Computer Science",

publisher = "Springer",

pages = "15--19",

editor = "Herbert, {Andrew } and Jones, {Karen Sp{\"a}rck}",

booktitle = "Computer Systems",

}

TY - CHAP

T1 - Protocol Analysis, Composability and Computation

AU - Anderson, Ross

AU - Bond, Michael

PY - 2004/2/26

Y1 - 2004/2/26

U2 - 10.1007/0-387-21821-1_3

DO - 10.1007/0-387-21821-1_3

M3 - Chapter (peer-reviewed)

SN - 9780387201702

T3 - Monographs in Computer Science

SP - 15

EP - 19

BT - Computer Systems

A2 - Herbert, Andrew

A2 - Jones, Karen Spärck

PB - Springer

CY - New York

ER -