40 search results - page 7 / 8 » Towards Formal Verification of Role-Based Access Control Pol... |
ICSE
2007
IEEE-ACM
14 years 5 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
SACMAT
2009
ACM
14 years 2 days ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
BPM
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
We present an organisation infrastructure for open MultiAgent Systems built upon a role-based access control model (RBAC), which provides agents with means to enable and control a...
ICFP
2003
ACM
14 years 5 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...