Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
10-2008
Abstract
Remote attestation provides the basis for one platform to establish trusts on another. In this paper, we consider the problem of attesting the correctness of program executions. We propose to measure the target program and all the objects it depends on, with an assumption that the Secure Kernel and the Trusted Platform Module provide a secure execution environment through process separation. The attestation of the target program begins with a program analysis on the source code or the binary code in order to find out the relevant executables and data objects. Whenever such a data object is accessed or a relevant executable is invoked due to the execution of the target program, its state is measured for attestation. Our scheme not only testifies to a program's execution, but also supports fine-granularity attestations and information flow checking.
Keywords
program dependency, remote attestation, trusted computing
Discipline
Information Security
Research Areas
Information Security and Trust
Publication
ST '08: Proceedings of the 3rd ACM Workshop on Scalable Trusted Computing, Alexandria, Virginia, October 31
First Page
11
Last Page
20
ISBN
9781605582955
Identifier
10.1145/1456455.1456458
Publisher
ACM
City or Country
New York
Citation
GU, Liang; DING, Xuhua; DENG, Robert H.; Xie, Bing; and MEI, Hong.
Remote Attestation on Program Execution. (2008). ST '08: Proceedings of the 3rd ACM Workshop on Scalable Trusted Computing, Alexandria, Virginia, October 31. 11-20.
Available at: https://ink.library.smu.edu.sg/sis_research/313
Copyright Owner and License
Publisher
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.1145/1456455.1456458