Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings |
| Subtitle of host publication | Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006 |
| Pages | 123-132 |
| Number of pages | 10 |
| Publication status | Published - 2006 |
| Event | 7th IEEE International Workshop on Policies for Distributed Systems and Networks, Policy 2006 - London, ON, Canada Duration: 5 Jun 2006 → 7 Jun 2006 |
Publication series
| Name | Proceedings - Seventh IEEE International Workshop on Policies for Distributed Systems and Networks, Policy 2006 |
|---|---|
| Volume | 2006 |
Abstract
Distributed Peer-to-Peer and Grid infrastructure require distributed access control mechanisms. These mechanisms can be implemented in distributed trust management infrastructures and usually require reasoning on more than one peer, as soon as authority is delegated or requests involve several authorities. Building on previous work of the authors which formalized such a distributed trust management infrastructure based on distributed logic programs, we describe in this paper how reasoning can be implemented as distributed logic evaluation and how loops during this evaluation can be handled with. Our solution is based on a loop tolerant distributed tabling algorithm which includes in the process protection of sensitive policies and generation of proofs without increasing the complexity of the system.
ASJC Scopus subject areas
- Engineering(all)
- General Engineering
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Proceedings: Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006. 2006. p. 123-132 1631164 (Proceedings - Seventh IEEE International Workshop on Policies for Distributed Systems and Networks, Policy 2006; Vol. 2006).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - A distributed tabling algorithm for rule based policy systems
AU - Alves, Miguel
AU - Damásio, Carlos Viegas
AU - Nejdl, Wolfgang
AU - Olmedilla, Daniel
PY - 2006
Y1 - 2006
N2 - Distributed Peer-to-Peer and Grid infrastructure require distributed access control mechanisms. These mechanisms can be implemented in distributed trust management infrastructures and usually require reasoning on more than one peer, as soon as authority is delegated or requests involve several authorities. Building on previous work of the authors which formalized such a distributed trust management infrastructure based on distributed logic programs, we describe in this paper how reasoning can be implemented as distributed logic evaluation and how loops during this evaluation can be handled with. Our solution is based on a loop tolerant distributed tabling algorithm which includes in the process protection of sensitive policies and generation of proofs without increasing the complexity of the system.
AB - Distributed Peer-to-Peer and Grid infrastructure require distributed access control mechanisms. These mechanisms can be implemented in distributed trust management infrastructures and usually require reasoning on more than one peer, as soon as authority is delegated or requests involve several authorities. Building on previous work of the authors which formalized such a distributed trust management infrastructure based on distributed logic programs, we describe in this paper how reasoning can be implemented as distributed logic evaluation and how loops during this evaluation can be handled with. Our solution is based on a loop tolerant distributed tabling algorithm which includes in the process protection of sensitive policies and generation of proofs without increasing the complexity of the system.
UR - http://www.scopus.com/inward/record.url?scp=33845417664&partnerID=8YFLogxK
U2 - 10.1109/POLICY.2006.4
DO - 10.1109/POLICY.2006.4
M3 - Conference contribution
AN - SCOPUS:33845417664
SN - 0769525989
SN - 9780769525983
T3 - Proceedings - Seventh IEEE International Workshop on Policies for Distributed Systems and Networks, Policy 2006
SP - 123
EP - 132
BT - Proceedings
T2 - 7th IEEE International Workshop on Policies for Distributed Systems and Networks, Policy 2006
Y2 - 5 June 2006 through 7 June 2006
ER -