Saad Zafar Robert Colvin Kirsten Winter Nisansala Yatapanage R. Geoff Dromey Early Validation and Verification of a Distributed Role-Based Access Control Model. 430-437 2007 conf/apsec/2007 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.46 db/conf/apsec/apsec2007.html#ZafarCWYD07