860 search results - page 37 / 172 » On the Security of Delegation in Access Control Systems |
ESORICS
2007
Springer
14 years 19 days ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
Semantic Web technologies are bring increasingly employed to solve knowledge management issues in traditional Web technologies. This paper follows that trend and proposes using Se...
CSFW
2012
IEEE
11 years 11 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
ICARCV
2006
IEEE
14 years 2 months ago
2006
IEEE
— Login access control refers to securing the entry point to a computing system. The login system is responsible for this service and must provide a number of tasks, the main tas...
SP
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...