ALOPA: Authorization Logic for Property Attestation in Trusted Platforms.
Aarthi NagarajanVijay VaradharajanMichael HitchensPublished in: ATC (2009)
Keyphrases
- computing platform
- trusted computing
- remote attestation
- access control
- cloud computing
- virtual machine
- access control policies
- computing systems
- modal logic
- classical logic
- distributed computing
- conflict resolution
- parallel computing
- asynchronous circuits
- probabilistic logic
- embedded systems
- trust relationships
- automated reasoning
- desirable properties
- fine grained
- web services