Output details
11 - Computer Science and Informatics
Imperial College London
Return to search
Output 0 of 0 in the submission
Output title
Expressive Policy Analysis with Enhanced System Dynamicity
Type
E - Conference contribution
Name of conference/published proceedings
ASIAN ACM Symposium on Information, Computer and Communications Security (ASIACCS 09)
Volume number
-
Issue number
-
First page of article
239
ISSN of proceedings
-
Year of publication
2009
URL
-
Number of additional authors
5
Additional information
<7> This paper substantially generalises prior work into analysis techniques that can cater for policies representing dynamic contexts, explicit time, historical information, fine grained policy defaults and a generalised model of obligations. The work has resulted in further work on policy refinement (published in CNSM'11) and reasoning with confidentiality for autonomous agents (published in DALT'10, ICLP'11, AAMAS'11). Acceptance 22%/147
Interdisciplinary
-
Cross-referral requested
-
Research group
B - Distributed Software Engineering
Citation count
20
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
