Abstract
The frameworks for protecting security and privacy can be effective only if common users-with no training in computer science or logic-increase their awareness and control over the policy applied by the systems they interact with. Towards this end, we introduce a mechanism for answering why, why-not, how-to, and what-if queries on rule-based policies for trust negotiation. Our framework is lightweight and scalable but it fulfills the main goals of modern explanation facilities. We adopt a novel tabled explanation structure, that simultaneously shows local and global (intra-proof and inter-proof) information, thereby facilitating navigation. To focus answers in the trust negotiation domain, we introduce suitable heuristics for removing the irrelevant parts of the derivations.

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

BibTeX:

@inproceedings{REWERSE-RP-2006-022,
	author = {Piero A. Bonatti and Daniel Olmedilla and Joachim Peer},
	title = {Advanced Policy Explanations},
	booktitle = {Proceedings of 17th European Conference on Artificial Intelligence, Riva del Garda, Italy (28th August--1st September 2006)},
	year = {2006},
	volume = {141},
	pages = {200--204},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-022}
}