Output details
11 - Computer Science and Informatics
University of Birmingham
Return to search
Output 0 of 0 in the submission
Article title
Synthesising Verified Access Control Systems through Model Checking
Type
D - Journal article
DOI
-
Title of journal
Journal of Computer Security
Article number
-
Volume number
16
Issue number
1
First page of article
1
ISSN of journal
0926-227X
Year of publication
2008
Number of additional authors
2
Additional information
<10>The paper is the first to use formal methods to verify an access control policy and then automatically generate provably-correct Java XACML code that can be deployed immediately. On the basis of the work in this paper, our group has discovered and reported access control issues with live systems, including EasyChair, the conference management system hosted in Manchester. Because of the importance of such collaborative workflow systems in industry, the work led to a prestigious IBM "Faculty award" of £20K, and to a Microsoft-sponsored PhD studentship specifically for research in this area.
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Security and Privacy
Citation count
28
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
