• Journal of Internet Computing and Services
    ISSN 2287 - 1136(Online) / ISSN 1598 - 0170 (Print)
    http://jics.or.kr/

A Property-Based Data Sealing using the Weakest Precondition Concept


Tae-Jin Park, Jun-Cheol Park, Journal of Internet Computing and Services, Vol. 9, No. 6, pp. 1-14, Dec. 2008
Full Text:
Keywords: TPM(Trusted Platform Module), Trusted Computing

Abstract

Trusted Computing is a hardware-based technology that aims to guarantee security for machines beyond their users' control by providing security on computing hardware and software. TPM(Trusted Platform Module), the trusted platform specified by the Trusted Computing Group, acts as the roots for the trusted data storage and the trusted reporting of platform configuration. Data sealing encrypts secret data with a key and the platform's configuration at the time of encryption. In contrast to the traditional data sealing based on binary hash values of the platform configuration, a new approach called property-based data sealing was recently suggested. In this paper, we propose and analyze a new property-based data sealing protocol using the weakest precondition concept by Dijkstra. The proposed protocol resolves the problem of system updates by allowing sealed data to be unsealed at any configuration providing the required property. It assumes practically implementable trusted third parties only and protects platform's privacy when communicating. We demonstrate the proposed protocol's operability with any TPM chip by implementing and running the protocol on a software TPM emulator by Strasser. The proposed scheme can be deployed in PDAs and smart phones over wireless mobile networks as well as desktop PCs.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from November 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[APA Style]
Tae-Jin Park and Jun-Cheol Park (2008). A Property-Based Data Sealing using the Weakest Precondition Concept. Journal of Internet Computing and Services, 9(6), 1-14.

[IEEE Style]
T. Park and J. Park, "A Property-Based Data Sealing using the Weakest Precondition Concept," Journal of Internet Computing and Services, vol. 9, no. 6, pp. 1-14, 2008.

[ACM Style]
Tae-Jin Park and Jun-Cheol Park. 2008. A Property-Based Data Sealing using the Weakest Precondition Concept. Journal of Internet Computing and Services, 9, 6, (2008), 1-14.