124 search results - page 6 / 25 » Synthesising verified access control systems in XACML |
EUC
2007
Springer
15 years 4 months ago
2007
Springer
Existing access control systems are typically unilateral in that the enterprise service provider assigns the access rights and makes the access control decisions, and there is no n...
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...
105
click to vote
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
ISW
2004
Springer
15 years 3 months ago
2004
Springer
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
108
click to vote
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...