© 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{2315, 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/2315}, 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}, }