Semantic attestation of node integrity in overlays
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Attestation of integrity of overlay networks
Journal of Systems Architecture: the EUROMICRO Journal
| Hi-index | 0.00 |
Remote attestation was introduced in TCG specificationsto determine whether a remote system is trusted to behavein a particular manner for a specific purpose; however,most of the existing approaches attest only the integritystate of a remote system and hence have a long way to goin achieving the above attestation objective. Behavior–based attestation and semantic attestation were recentlyintroduced 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.