1357 search results - page 38 / 272 » Controlling Access to Documents: A Formal Access Control Mod... |
154
click to vote
ISW
2005
Springer
15 years 11 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 ...
167
click to vote
WOSP
2010
ACM
16 years 25 days 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...
169
click to vote
ISW
2004
Springer
15 years 11 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...
153
click to vote
DBSEC
2010
15 years 7 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...
180
click to vote
FASE
2010
Springer
15 years 4 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 ...