ALOPA: Authorization Logic for Property Attestation in Trusted Platforms.

Aarthi Nagarajan Vijay Varadharajan Michael Hitchens ALOPA: Authorization Logic for Property Attestation in Trusted Platforms. 134-148 2009 ATC http://dx.doi.org/10.1007/978-3-642-02704-8_11 conf/atc/2009 db/conf/atc/atc2009.html#NagarajanVH09