692 search results - page 12 / 139 » Shamon: A System for Distributed Mandatory Access Control |
TGC
2007
Springer
14 years 25 days ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
TPDS
1998
13 years 6 months ago
1998
—We suggest a method of controlling the access to a secure database via quorum systems. A quorum system is a collection of sets (quorums) every two of which have a nonempty inter...
ACSAC
1999
IEEE
13 years 11 months ago
1999
IEEE
Mainly for scalability reasons, many cryptographic security protocols make use of public key cryptography and require the existence of a corresponding public key infrastructure (P...
SP
2005
IEEE
14 years 9 days 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]. ...
MSS
2005
IEEE
14 years 9 days ago
2005
IEEE