Sciweavers

Share
TGC
2007
Springer

Access Control Based on Code Identity for Open Distributed Systems

9 years 4 months ago
Access Control Based on Code Identity for Open Distributed Systems
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behavior of an agent. We study the relationship between code identity, static analysis and trust in open distributed systems. Our primary result is a robust safety theorem expressed in terms of a distributed higher-order pi-calculus with code identity and a primitive for remote attestation; types in the language make use of a rich speciļ¬cation language for access control policies. Keywords. Trusted Computing, Remote Attestation, Access Control, Authorization Logic, Compound Principals, Higher-Order Pi Calculus, Typing
Andrew Cirillo, James Riely
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where TGC
Authors Andrew Cirillo, James Riely
Comments (0)
books