Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme

Ronald Tögl; Georg Hofferek; Karin Greimel; Adrian Leung; Raphael C-W. Phan; Roderick Paul Bloem

doi:10.1109/ICYCS.2008.456

Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme

Ronald Tögl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael C-W. Phan, Roderick Paul Bloem

Institute of Applied Information Processing and Communications (7050)

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

Original language	English
Title of host publication	International Symposium on Trusted Computing (TrustCom 2008) Proceedings, in 9th ICYCS Conference Proceedings
Place of Publication	Los Alamitos, CA, USA
Publisher	IEEE Computer Society
Pages	2289-2294
ISBN (Print)	978-0-7695-3398-8
DOIs	https://doi.org/10.1109/ICYCS.2008.456
Publication status	Published - 2008
Event	International Symposium on Trusted Computing: TrustCom 2008 - Central South University, Zhang Jia Jie, China Duration: 18 Nov 2008 → 20 Nov 2008

Conference

Conference	International Symposium on Trusted Computing
Country/Territory	China
City	Zhang Jia Jie
Period	18/11/08 → 20/11/08

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Access to Document

10.1109/ICYCS.2008.456

Cite this

Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. / Tögl, Ronald; Hofferek, Georg; Greimel, Karin et al.
International Symposium on Trusted Computing (TrustCom 2008) Proceedings, in 9th ICYCS Conference Proceedings. Los Alamitos, CA, USA: IEEE Computer Society, 2008. p. 2289-2294.

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

Tögl, R, Hofferek, G, Greimel, K, Leung, A, Phan, RC-W & Bloem, RP 2008, Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. in International Symposium on Trusted Computing (TrustCom 2008) Proceedings, in 9th ICYCS Conference Proceedings. IEEE Computer Society, Los Alamitos, CA, USA, pp. 2289-2294, International Symposium on Trusted Computing, Zhang Jia Jie, China, 18/11/08. https://doi.org/10.1109/ICYCS.2008.456

@inproceedings{ad4158d76a3541f99103f2b4a3c3a9cc,

title = "Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme",

author = "Ronald T{\"o}gl and Georg Hofferek and Karin Greimel and Adrian Leung and Phan, {Raphael C-W.} and Bloem, {Roderick Paul}",

year = "2008",

doi = "10.1109/ICYCS.2008.456",

language = "English",

isbn = "978-0-7695-3398-8",

pages = "2289--2294",

booktitle = "International Symposium on Trusted Computing (TrustCom 2008) Proceedings, in 9th ICYCS Conference Proceedings",

publisher = "IEEE Computer Society",

address = "United States",

note = "International Symposium on Trusted Computing : TrustCom 2008 ; Conference date: 18-11-2008 Through 20-11-2008",

}

TY - GEN

T1 - Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme

AU - Tögl, Ronald

AU - Hofferek, Georg

AU - Greimel, Karin

AU - Leung, Adrian

AU - Phan, Raphael C-W.

AU - Bloem, Roderick Paul

PY - 2008

Y1 - 2008

UR - http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=4709329&isnumber=4708921

U2 - 10.1109/ICYCS.2008.456

DO - 10.1109/ICYCS.2008.456

M3 - Conference paper

SN - 978-0-7695-3398-8

SP - 2289

EP - 2294

BT - International Symposium on Trusted Computing (TrustCom 2008) Proceedings, in 9th ICYCS Conference Proceedings

PB - IEEE Computer Society

CY - Los Alamitos, CA, USA

T2 - International Symposium on Trusted Computing

Y2 - 18 November 2008 through 20 November 2008

ER -

Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Formal Methods for Design & Verification

EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems

EU - Open_TC - Open Trusted Computing

Cite this

Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

Formal Methods for Design & Verification

EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems

EU - Open_TC - Open Trusted Computing

Cite this