%0 Conference Proceedings
%T Modelling Dynamic Trust with Property Based Attestation in Trusted Platforms
%+ Macquarie University
%A Nagarajan, Aarthi
%A Varadharajan, Vijay
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC)
%C Rome, Italy
%Y Sara Foresti; Sushil Jajodia
%I Springer
%3 Data and Applications Security and Privacy XXIV
%V LNCS-6166
%P 257-272
%8 2010-06-21
%D 2010
%R 10.1007/978-3-642-13739-6_17
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X Binary attestation in trusted computing provides the ability to reason about the state of a platform using integrity measurements. Property based attestation, an extension of binary attestation enables more meaningful attestation by abstracting low level binary values to high level security properties or functions of platforms. We believe that despite having trusted processes for integrity measurement, binary and property based attestation may still lead to ambiguities. These ambiguities may reduce the overall trust that can be placed on the measurements and properties that are attested by a platform. To address this issue, we propose TESM: a Trust Enhanced Security Model for trusted computing platforms. The overall aim of the model is to reduce the ambiguities and thereby enable better reasoning of properties that are satisfied by a platform with improved clarity.
%G English
%2 https://inria.hal.science/hal-01056684/document
%2 https://inria.hal.science/hal-01056684/file/_36.pdf
%L hal-01056684
%U https://inria.hal.science/hal-01056684
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-LNCS-6166
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC11
%~ IFIP-WG11-3
%~ IFIP-DBSEC
%~ IFIP-2010