© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Automated decomposition of access control policies
Linying Su, David W Chadwick, Andrew Basden, and James Cuningham
In Proceedings of Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, pages 182-196, Stockholm, June 2005. IEEE Computer Society.Bibtex Record
@inproceedings{2317,
author = {Linying Su and David W Chadwick and Andrew Basden and James Cuningham},
title = {Automated decomposition of access control policies},
month = {June},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2317},
publication_type = {inproceedings},
submission_id = {26042_1134053795},
ISBN = {0-7695-2265-3},
booktitle = {Proceedings of Sixth IEEE International Workshop on Policies for Distributed Systems and Networks },
address = {Stockholm},
publisher = {IEEE Computer Society},
}