2057 search results - page 61 / 412 » Distributed Secure Systems: Then and Now |
109
Voted
WMRD
1990
15 years 4 months ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...
95
Voted
SP
2005
IEEE
15 years 6 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]. ...
MATA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Mobile agent systems provide new perspectives for distributed e-commerce applications. These applications may present specific restrictions, making mobile agent systems ...
ESORICS
2007
Springer
15 years 4 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...
102
click to vote
CONEXT
2007
ACM
15 years 4 months ago
2007
ACM
Distributed storage systems provide data availability by means of redundancy. To assure a given level of availability in case of node failures, new redundant fragments need to be ...