Output details
11 - Computer Science and Informatics
Imperial College London
Foundations of Logic-Based Trust Management
<10>
This paper provides the first model theoretic semantics for trust management of access control decisions in distributed systems that satisfies compositionality and full abstraction properties. The framework enables efficient computation of meta-properties and analysis of probing attacks through the use of an automated theorem prover available endorsed by Microrsoft Research and available on http://research.microsoft.com/en-us/projects/counterdog/. This work is the result of collaboration with Microsoft Research, led to an extended JACM journal submission and has been applied in various solutions for security analysis in dynamic networks within the IBM-led US-UK ITA programme. Acceptance 13%/307.