Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Saad Zafar
Early Validation and Verification of a Distributed Role-Based Access Control Model
Proceedings - Asia-Pacific Software Engineering Conference, APSEC
Software
Related publications
Role-Based Access Control Consistency Validation
Towards Formal Verification of Role-Based Access Control Policies
IEEE Transactions on Dependable and Secure Computing
Electronic Engineering
Electrical
Computer Science
Security Analysis of Role-Based Access Control Through Program Verification
Efficient Access Enforcement in Distributed Role-Based Access Control (RBAC) Deployments
A Formal Model for Parameterized Role-Based Access Control
Role Hierarchies for Temporal Constraint Role-Based Access Control Model.
Journal of Computer Science and Cybernetics
CRiBAC: Community-Centric Role Interaction Based Access Control Model
Computers and Security
Law
Computer Science
TC-enabled and Distributed Cloud Computing Access Control Model
Journal of Applied Sciences
Simulation Model Verification and Validation
