Formal Z Specifications of Several Flat Role-Based Access Control Models.

Ali E. Abdallah, Etienne J. Khayat

Browse the full SEW paper archive.