Kim et al.
Describes the assignment of Users to roles in sesstions and permissions of roles to access objects and operations.
Specurity Aspects
Specification Elements
Name
Description
Assigns users to permissions
Person interacting with the user
Assigns whether a role may access an object or activity
Security Aspects
RBAC Correctness
Enables the modeling of secure RBAC policies- Specification Elements:
- Permission
- Role
- User
- Threats:
- Elevation of Privileges
- Information Disclosure
- Tampering with Data
- Spoofing
Specification Elements