29 search results - page 1 / 6 » Formal Engineering of XACML Access Control Policies in VDM |
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
COMPSAC
2007
IEEE
13 years 8 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
COMPSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
SIGMETRICS
2008
ACM
13 years 4 months ago
2008
ACM
XACML has become the de facto standard for specifying access control policies for various applications, especially web services. With the explosive growth of web applications depl...
SACMAT
2009
ACM
13 years 11 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...