Output details
11 - Computer Science and Informatics
Imperial College London
Article title
Access Control via Belnap Logic: Intuitive, Expressive, and Analyzable Policy Composition
Type
D - Journal article
Title of journal
ACM Transactions on Information and System Security
Article number
ARTN 9
Volume number
14
Issue number
1
First page of article
-
ISSN of journal
1094-9224
Year of publication
2011
URL
-
Number of additional authors
1
Additional information
<10>This research is motivated by an ACM FMSE 2007 workshop paper and an IEEE CSF 2008 conference paper (18% acceptance rate) with Bruns and Huth as co-authors. The journal paper rigorously develops and evaluates the use of Belnap logic for clear policy composition and analysis in access control, has 294 downloads (Oct 2013) from ACM DL since its publication in May 2011, and resulted in numerous invitations to Security Program Committees that Dr Huth accepted. The techniques developed in this paper are already used by others, for example in the ACM SACMAT 2011 best paper on break-glass policies.
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Quantitative Analysis and Decision Science
Citation count
5
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
