Output details
11 - Computer Science and Informatics
University of Aberdeen
Article title
Algebra and logic for access control
Type
D - Journal article
Title of journal
Formal Aspects of Computing
Article number
-
Volume number
22
Issue number
2
First page of article
83
ISSN of journal
0934-5043
Year of publication
2010
URL
-
Number of additional authors
1
Additional information
<11>The paper appears in a leading journal for the application of logic in computer science. In it we propose a process calculus that has resource as a first-class entity. This enables explicit and direct reasoning about resource, both operationally and in a Hennessey-Milner logic. It provides an important, fundamental starting point for ongoing work in academia and industry, including within the RCUK/TSB-funded Trust Domains project 2011-2014 (TS/I002502/1) and the EPSRC Algebra and Logic for Policy and Utility in Information Security project 2013-2017 (EP/K033042/1), in which we are working with Hewlett-Packard and National Grid.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
