73 search results - page 1 / 15 » PeerAccess: a logic for distributed authorization |
139
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
110
Voted
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
127
Voted
TLDI
2010
ACM
15 years 10 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
107
Voted
CSFW
2008
IEEE
15 years 7 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
119
Voted
CCS
2010
ACM
15 years 8 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...