Early Validation and Verification of a Distributed Role-Based Access Control Model

Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey. Early Validation and Verification of a Distributed Role-Based Access Control Model. In 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan. pages 430-437, IEEE Computer Society, 2007. [doi]

@inproceedings{ZafarCWYD07,
  title = {Early Validation and Verification of a Distributed Role-Based Access Control Model},
  author = {Saad Zafar and Robert Colvin and Kirsten Winter and Nisansala Yatapanage and R. Geoff Dromey},
  year = {2007},
  doi = {10.1109/APSEC.2007.46},
  url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.46},
  tags = {rule-based, object-role modeling, access control, role-based access control},
  researchr = {https://researchr.org/publication/ZafarCWYD07},
  cites = {0},
  citedby = {0},
  pages = {430-437},
  booktitle = {14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan},
  publisher = {IEEE Computer Society},
}