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.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-019

BibTeX:

@inproceedings{REWERSE-RP-2006-019,
	author = {Miguel Alves and Carlos Viegas Damásio and Daniel Olmedilla and Wolfgang Nejdl},
	title = {A Distributed Tabling Algorithm for Rule Based Policy Systems},
	booktitle = {Proceedings of 7th IEEE Workshop on Policies for Distributed Systems and Networks, Ontario, Canada (5th--7th June 2006)},
	year = {2006},
	pages = {123--132},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-019}
}