Attack, Solution and Verification for Shared Authorisation Data in TCG TPM

L Chen; Mark Ryan

doi:10.1007/978-3-642-12459-4_15

Attack, Solution and Verification for Shared Authorisation Data in TCG TPM

L Chen, Mark Ryan

Computer Science

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

32 Citations (Scopus)

Original language	English
Title of host publication	Formal Aspects in Security and Trust
Subtitle of host publication	6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
Editors	P Degano, JD Guttman
Publisher	Springer
Pages	201-216
Number of pages	16
ISBN (Electronic)	978-3-642-12459-4
ISBN (Print)	978-3-642-12458-7
DOIs	https://doi.org/10.1007/978-3-642-12459-4_15
Publication status	Published - 1 Jan 2010

Publication series

Name	Lecture Notes in Computer Science
Volume	5983
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-12459-4_15

Verifying Interoperability requirements in Pervasive Systems
Ryan, M. (Principal Investigator) & Ritter, E. (Co-Investigator)
Engineering & Physical Science Research Council
8/10/08 → 7/03/13
Project: Research Councils

Cite this

Chen, L., & Ryan, M. (2010). Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. In P. Degano, & JD. Guttman (Eds.), Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers (pp. 201-216). (Lecture Notes in Computer Science; Vol. 5983). Springer. https://doi.org/10.1007/978-3-642-12459-4_15

@inproceedings{876585ac8bf94484a8270c1033dc0e9a,

title = "Attack, Solution and Verification for Shared Authorisation Data in TCG TPM",

author = "L Chen and Mark Ryan",

year = "2010",

month = jan,

day = "1",

doi = "10.1007/978-3-642-12459-4_15",

language = "English",

isbn = "978-3-642-12458-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "201--216",

editor = "P Degano and JD Guttman",

booktitle = "Formal Aspects in Security and Trust",

}

Chen, L & Ryan, M 2010, Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. in P Degano & JD Guttman (eds), Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Lecture Notes in Computer Science, vol. 5983, Springer, pp. 201-216. https://doi.org/10.1007/978-3-642-12459-4_15

Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. / Chen, L; Ryan, Mark.
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. ed. / P Degano; JD Guttman. Springer, 2010. p. 201-216 (Lecture Notes in Computer Science; Vol. 5983).

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

TY - GEN

T1 - Attack, Solution and Verification for Shared Authorisation Data in TCG TPM

AU - Chen, L

AU - Ryan, Mark

PY - 2010/1/1

Y1 - 2010/1/1

U2 - 10.1007/978-3-642-12459-4_15

DO - 10.1007/978-3-642-12459-4_15

M3 - Conference contribution

SN - 978-3-642-12458-7

T3 - Lecture Notes in Computer Science

SP - 201

EP - 216

BT - Formal Aspects in Security and Trust

A2 - Degano, P

A2 - Guttman, JD

PB - Springer

ER -

Chen L, Ryan M. Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. In Degano P, Guttman JD, editors, Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Springer. 2010. p. 201-216. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-12459-4_15

Attack, Solution and Verification for Shared Authorisation Data in TCG TPM

Publication series

Access to Document

Projects

Verifying Interoperability requirements in Pervasive Systems

Cite this