852 search results - page 27 / 171 » Model-Checking Access Control Policies |
111
click to vote
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
We introduce a fine grained access control mechanism for Peer-to-Peer collaborations. It is based on the local access control components of the participants. The peers export thei...
131
click to vote
ICICS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. In open scenarios, where servers may receive requests to access their services from possibly unknown clients, access control is typically based on the evaluation of (cert...
109
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
114
click to vote
SACMAT
2004
ACM
15 years 7 months ago
2004
ACM
Ubiquitous computing uses a variety of information for which access needs to be controlled. For instance, a person’s current location is a sensitive piece of information, which ...
115
click to vote
EUROSYS
2010
ACM
15 years 7 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...