A Formal Analysis of Authentication in the TPM

S Delaune
, S Kremer
, Mark Ryan
, G Steel
, P Degano
, S Etalle
, J Guttman

Computer Science

Research output: Contribution to conference (unpublished) › Paper

32 Citations (Scopus)

Original language	English
Pages	111-125
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-642-19751-2_8
Publication status	Published - 1 Jan 2011

Access to Document

10.1007/978-3-642-19751-2_8

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