Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
11-2008
Abstract
Remote attestation was introduced in TCG specifications to determine whether a remote system is trusted to behave in a particular manner for a specific purpose; however, most of the existing approaches attest only the integrity state of a remote system and hence have a long way to go in achieving the above attestation objective. Behavior-based attestation and semantic attestation were recently introduced as solutions to approach the TCG attestation objective. In this paper, we extend behavior-based attestation to a model-driven remote attestation to prove that a remote system is trusted as defined by TCG. Our model-driven remote attestation verifies two compliance requirements to prove the trustworthiness of a remote system: expected behavior compliance and enforced behavior compliance.
Keywords
Trusted computing, remote attestation, security policy
Discipline
Information Security
Research Areas
Cybersecurity
Publication
2008 9th International Conference for Young Computer Scientists ICYCS: November 18-21, Zhang Jia Jie, Hunan, China: Proceedings
First Page
2347
Last Page
2353
ISBN
9780769533988
Identifier
10.1109/ICYCS.2008.349
Publisher
IEEE Computer Society
City or Country
Los Alamitos, CA
Citation
GU, Liang; DING, Xuhua; DENG, Robert H.; ZOU, Yanzhen; XIE, Bing; SHAO, Weizhong; and MEI, Hong.
Model-Driven Remote Attestation: Attesting Remote System from Behavioral Aspect. (2008). 2008 9th International Conference for Young Computer Scientists ICYCS: November 18-21, Zhang Jia Jie, Hunan, China: Proceedings. 2347-2353.
Available at: https://ink.library.smu.edu.sg/sis_research/314
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.1109/ICYCS.2008.349