Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/5693

Title: Formal analysis of a TPM-based secrets distribution and storage scheme
Authors: Toegl, Ronald
Hofferek, Georg
Greimel, Karin
Leung, Adrian
Phan, Raphael C.-W.
Bloem, Roderick
Keywords: Trusted computing
Model checking
Protocol analysis
Issue Date: 2008
Publisher: © IEEE
Citation: TOEGL, R....et al., 2008. Formal analysis of a TPM-based secrets distribution and storage scheme. IN: 9th International Conference for Young Computer Scientists, (ICYCS 2008), Hunan, China, 18-21 Nov., pp. 2289 - 2294
Abstract: Trusted computing introduces the Trusted Platform Module (TPM) as a root of trust on an otherwise untrusted computer. The TPM can be used to restrict the use of cryptographic keys to trusted states, i.e., to situations in which the computer runs trusted software. This allows for the distribution of intellectual property or secrets to a remote party with a reasonable security that such secrets will not be obtained by a malicious or compromised client. We model a specific protocol for the distribution of secrets proposed by Sevine et al. A formal analysis using the NuSMV model checker shows that the protocol allows an intruder to give the client an arbitrary secret, without the client noticing. We propose an alternative that prevents this scenario.
Description: This is a conference paper [© IEEE]. It is also available at: http://ieeexplore.ieee.org/ Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Version: Published
DOI: 10.1109/ICYCS.2008.456
URI: https://dspace.lboro.ac.uk/2134/5693
ISBN: 9780769533988
Appears in Collections:Conference Papers and Presentations (Mechanical, Electrical and Manufacturing Engineering)

Files associated with this item:

File Description SizeFormat
formal.pdf806.57 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.