© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Building a Modular Authorization Infrastructure
David Chadwick, Gansen Zhao, Sassa Otenko, Romain Laborde, Linying Su, and Tuan Anh Nguyen
In All Hands Meeting, pages 182-196, Nottingham, September 2006 .Available from : http://www.allhands.org.uk/2006/proceedings/papers/677.pdf.Bibtex Record
@inproceedings{2532,
author = {David Chadwick and Gansen Zhao and Sassa Otenko and Romain Laborde and Linying Su and Tuan Anh Nguyen},
title = {{B}uilding a {M}odular {A}uthorization {I}nfrastructure},
month = {September},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {.Available from : http://www.allhands.org.uk/2006/proceedings/papers/677.pdf},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2532},
publication_type = {inproceedings},
submission_id = {4886_1179406835},
booktitle = {All Hands Meeting},
address = {Nottingham},
}