1134 search results - page 20 / 227 » Distributed Proving in Access-Control Systems |
SACMAT
2004
ACM
15 years 5 months ago
2004
ACM
This paper maintains that for an access-control mechanism to support a wide range of policies, it is best to dispense with any built-in semantics for roles in the mechanism itself...
FAC
2010
14 years 10 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
102
click to vote
WETICE
1997
IEEE
15 years 3 months ago
1997
IEEE
In this paper we want to share our experiences with implementing a scheme that enforces role based access control in a distributed, heterogeneous computing environment. This work ...
ECSCW
2001
15 years 1 months ago
2001
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
DEBS
2003
ACM
15 years 5 months ago
2003
ACM
Research into publish/subscribe messaging has so far done little to propose architectures for the support of access control, yet this will be an increasingly critical requirement ...