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 27 of 201 in the submission

Output title

Advice from Belnap Policies

Type

E - Conference contribution

DOI

10.1109/CSF.2009.8

Name of conference/published proceedings

22nd IEEE Computer Security Foundations Symposium

Volume number

Issue number

First page of article

234

ISSN of proceedings

Year of publication

2009

URL

Number of additional authors

Additional information

<10>Acceptance 23.7%/93 This paper presents a calculus with located processes and local memory which uses aspect-oriented concepts to express local policies and an approach to policy composition and a version of computation tree logic for verifying global properties. The ideas are illustrated with examples from an EHR system. The paper led to work on the formal design of the eXtensible Access Control Markup Language (XACML) (http://dx.doi.org/10.1016/j.scico.2013.05.003).

Interdisciplinary

Cross-referral requested

Research group

E - Programming Languages and Systems

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract