73 search results - page 3 / 15 » PeerAccess: a logic for distributed authorization |
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Objectives of the dissertation are impacts of Peerto-Peer (P2P) traffic on Internet core networks as well as novel approaches for using P2P technology in Internet access ...
77
Voted
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
101
click to vote
PLDI
2006
ACM
15 years 3 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...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
IFIP
2004
Springer
15 years 2 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...