Model-Driven Remote Attestation: Attesting Remote System from Behavioral Aspect
Conference Proceeding Article
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.
Information Security and Trust
Proceedings of the 9th International Conference for Young Computer Scientists, November 18-21, 2008, Zhang Jia Jie, Hunan, China
City or Country
Zhang Jia Jie, Hunan
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). Proceedings of the 9th International Conference for Young Computer Scientists, November 18-21, 2008, Zhang Jia Jie, Hunan, China. 2347-2353. Research Collection School Of Information Systems.
Available at: http://ink.library.smu.edu.sg/sis_research/314