On Designing Usable Policy Languages for Declarative Trust Aggregation
We argue that there will be an increasing future need for the design and implementation of declarative languages that can aggregate trust evidence and therefore inform the decision making of IT systems at run-time. We first present requirements for such languages. Then we discuss an instance of such a language, Peal + , which extends an early prototype Peal that was researched by others in collaboration with us. Next, we formulate the intuitive semantics of Peal + , present a simple use case of it, and evaluate to what extent Peal + meets our formulated requirements. In this evaluation, particular attention is given to the usability aspects of declarative languages that mean to aggregate trust evidence.
KeywordsComposition Operator Policy Language Cognitive Complexity Usability Issue Reputation Score
Unable to display preview. Download preview PDF.
- 2.Crampton, J., Huth, M., Morisset, C.: Policy-based access control from numerical evidence. Technical Report 2013/6, Imperial College London, Department of Computing (October 2013) ISSN 1469-4166 (Print)Google Scholar
- 7.Huth, M., Kuo, J.H.-P.: PEALT: A reasoning tool for numerical aggregation of trust evidence. Technical Report 2013/7, Imperial College London, Department of Computing (2013) ISSN 1469-4166 (Print)Google Scholar
- 11.Mui, L.: Computational Models of Trust and Reputation: Agents, Evolutionary Games, and Social Networks. PhD thesis. MIT (2002)Google Scholar
- 14.Sasse, A., Kirlappos, I.: Trust, Computing, and Society, chapter Design for trusted and truthworthy services: why we must do better. Cambridge University Press (in press, 2014)Google Scholar