124 search results - page 9 / 25 » Synthesising verified access control systems in XACML |
102
click to vote
EUROPKI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract The expansion of inter-organizational scenarios based on different authorization schemes involves the development of integration solutions allowing different authorizatio...
OTM
2007
Springer
15 years 4 months ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
SWS
2004
ACM
15 years 3 months ago
2004
ACM
Through web service technology, distributed applications can be built in a exible manner, bringing tremendous power to applications on the web. However, this exibility poses sig...
107
click to vote
ICFP
2003
ACM
15 years 10 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...
USS
2008
15 years 8 days ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...