1357 search results - page 38 / 272 » Controlling Access to Documents: A Formal Access Control Mod... |
103
click to vote
ISW
2005
Springer
15 years 7 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
117
click to vote
WOSP
2010
ACM
15 years 8 months ago
2010
ACM
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
118
click to vote
ISW
2004
Springer
15 years 7 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...
112
click to vote
DBSEC
2010
15 years 3 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...
130
click to vote
FASE
2010
Springer
14 years 12 months ago
2010
Springer
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...