@inproceedings{DBLP:conf/apsec/ZafarCWYD07,
author = {Saad Zafar and
Robert Colvin and
Kirsten Winter and
Nisansala Yatapanage and
R. Geoff Dromey},
title = {Early Validation and Verification of a Distributed Role-Based
Access Control Model},
booktitle = {APSEC},
year = {2007},
pages = {430-437},
ee = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.46},
crossref = {DBLP:conf/apsec/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}