Formal Z specifications of several Flat Role-Based Access Control models
- Ali E. Abdallah
- , Etienne J. Khayat
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
12
Citations
(Scopus)