Browsing by Subject Access Control, Security Policy, RBAC, ABCA, FRABAC, Formal Modelling, Formal Analysing, Petri nets, Cloud Computing
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
1-Jun-2019 | Formal Modelling and Verification of Security Policies in Cloud Computing | Benattia, Hasiba |