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

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	International Symposium on Trusted Computing (TrustCom 2008) Proceedings, in 9th ICYCS Conference Proceedings
Erscheinungsort	Los Alamitos, CA, USA
Herausgeber (Verlag)	IEEE Computer Society
Seiten	2289-2294
ISBN (Print)	978-0-7695-3398-8
DOIs	https://doi.org/10.1109/ICYCS.2008.456
Publikationsstatus	Veröffentlicht - 2008
Veranstaltung	International Symposium on Trusted Computing: TrustCom 2008 - Central South University, Zhang Jia Jie, China Dauer: 18 Nov. 2008 → 20 Nov. 2008

Konferenz

Konferenz	International Symposium on Trusted Computing
Land/Gebiet	China
Ort	Zhang Jia Jie
Zeitraum	18/11/08 → 20/11/08

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Zugriff auf Dokument

10.1109/ICYCS.2008.456

Andere Dateien und Links

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

Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Projekt: Arbeitsgebiet
EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems
Könighofer, R., Hofferek, G., Greimel, K. & Bloem, R.
1/01/08 → 30/06/10
Projekt: Forschungsprojekt
EU - Open_TC - open-source Computersysteme [Original in Englisch: Open Trusted Computing]
Bratko, H., Tögl, R., Winkler, T., Pirker, M., Hofferek, G., Dietrich, K., Lipp, P. & Vejda, T.
1/11/05 → 31/03/09
Projekt: Forschungsprojekt

Dieses zitieren

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. S. 2289-2294.

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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, S. 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

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

Formal Methods for Design & Verification

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

EU - Open_TC - open-source Computersysteme [Original in Englisch: Open Trusted Computing]

Dieses zitieren