Abstract
The purpose of access control is to limit the actions on a computer system that a legitimate user can perform. Role-based access control (RBAC) has generated great interest in the security community as a flexible approach in access control. An important aspect of RBAC is constraints that constrain what components in RBAC are allowed to do. Although researchers have identified useful constraints using formal specification languages such as RCL2000, there still exists a demand to have constraint specification languages for system developers who are working on secure systems development. The authors discuss another approach to specifying constraints using a de facto constraint specification language in the software engineering arena. We use a declarative language, Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML) and has been used in object oriented analysis and design. We describe how to specify previously identified role-based authorization constraints, and the future direction of this work is also addressed.
Original language | English (US) |
---|---|
Title of host publication | Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE |
Publisher | IEEE Computer Society |
Pages | 157-162 |
Number of pages | 6 |
Volume | 2001-January |
ISBN (Print) | 0769512690 |
DOIs | |
State | Published - 2001 |
Externally published | Yes |
Event | 10th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WET ICE 2001 - Cambridge, United States Duration: Jun 20 2001 → Jun 22 2001 |
Other
Other | 10th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WET ICE 2001 |
---|---|
Country/Territory | United States |
City | Cambridge |
Period | 6/20/01 → 6/22/01 |
Keywords
- Access control
- Authorization
- Formal languages
- Natural languages
- Object oriented modeling
- Permission
- Security
- Software engineering
- Specification languages
- Unified modeling language
ASJC Scopus subject areas
- Hardware and Architecture
- Software