Output details
11 - Computer Science and Informatics
De Montfort University
Return to search
Output 0 of 0 in the submission
Article title
Dynamic Access Control Policies: Specification and Verification
Type
D - Journal article
Title of journal
The Computer Journal
Article number
-
Volume number
56
Issue number
4
First page of article
440
ISSN of journal
0010-4620
Year of publication
2013
URL
-
Number of additional authors
3
Additional information
<10> This paper presents results and research ideas that spawned several ongoing PhD projects and were applied in work on trust management in collaborative systems. It has provided a formal basis to two collaborative EPSRC funding applications.
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Software Technology Research Laboratory (STRL)
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
