You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Imperial College London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Imperial College London

Return to search Previous output Next output

Output 0 of 0 in the submission

Output title

Foundations of Logic-Based Trust Management

Type

E - Conference contribution

DOI

10.1109/SP.2012.20

Name of conference/published proceedings

IEEE Symposium on Security and Privacy 2012

Volume number

Issue number

First page of article

161

ISSN of proceedings

1081-6011

Year of publication

2012

URL

Number of additional authors

Additional information

<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.

Interdisciplinary

Cross-referral requested

Research group

B - Distributed Software Engineering

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract