988 search results - page 25 / 198 » Cryptographic access control in a distributed file system |
104
Voted
RTS
2006
14 years 11 months ago
2006
Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this dem...
ESORICS
2007
Springer
15 years 3 months 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...
SP
2005
IEEE
15 years 5 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]. ...
101
click to vote
SISW
2005
IEEE
15 years 5 months ago
2005
IEEE
Protecting sensitive files from a compromised system helps administrator to thwart many attacks, discover intrusion trails, and fast restore the system to a safe state. However, ...
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer