1134 search results - page 40 / 227 » Distributed Proving in Access-Control Systems |
237
Voted
ICDE
2009
IEEE
16 years 4 months ago
2009
IEEE
Modern database systems increasingly make use of networked storage. This storage can be in the form of SAN's or in the form of shared-nothing nodes in a cluster. One type of a...
145
Voted
CSFW
2003
IEEE
15 years 7 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
151
click to vote
PODC
1990
ACM
15 years 6 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
128
click to vote
DIM
2005
ACM
15 years 4 months ago
2005
ACM
We develop solutions for the security and privacy of user identity information in a federation. By federation we mean a group of organizations or service providers which have buil...
122
Voted
SUTC
2008
IEEE
15 years 9 months ago
2008
IEEE
Recently proposed usage control concept and models extend traditional access control models with features for contemporary distributed computing systems, including continuous acce...