692 search results - page 12 / 139 » Shamon: A System for Distributed Mandatory Access Control |
87
Voted
TGC
2007
Springer
15 years 3 months 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
14 years 9 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
15 years 1 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
15 years 3 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]. ...
MSS
2005
IEEE
15 years 3 months ago
2005
IEEE