733 search results - page 2 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
98
Voted
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
87
Voted
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
104
click to vote
PLDI
2006
ACM
15 years 4 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
118
Voted
CCS
2005
ACM
15 years 3 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...
80
Voted
ACSAC
1999
IEEE
15 years 2 months ago
1999
IEEE
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...