Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Proceedings |
| Untertitel | Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006 |
| Seiten | 123-132 |
| Seitenumfang | 10 |
| Publikationsstatus | Veröffentlicht - 2006 |
| Veranstaltung | 7th IEEE International Workshop on Policies for Distributed Systems and Networks, Policy 2006 - London, ON, Kanada Dauer: 5 Juni 2006 → 7 Juni 2006 |
Publikationsreihe
| Name | Proceedings - Seventh IEEE International Workshop on Policies for Distributed Systems and Networks, Policy 2006 |
|---|---|
| Band | 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 Sachgebiete
- Ingenieurwesen (insg.)
- Allgemeiner Maschinenbau
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Proceedings: Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006. 2006. S. 123-132 1631164 (Proceedings - Seventh IEEE International Workshop on Policies for Distributed Systems and Networks, Policy 2006; Band 2006).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › 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 -