Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/151079
50 Visitors51 Hits0 Downloads
CertainLogic : a logic for modeling trust and uncertainty (short paper)
International Conference on Trust and Trustworthy Computing (4th : 2011) (22 - 24 June 2011 : Pittsburgh, PA)
McCune, Jonathan M.; Balacheff, Boris; Perrig, Adrian; Sadeghi, Ahmad-Reza; Sasse, Angela and Beres, Yolanta. Trust and trustworthy computing : 4th international conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011 : proceedings, p.254-261
The evaluation of the trustworthiness of complex systems is a challenge in current IT research. We contribute to this field by providing a novel model for the evaluation of propositional logic terms under uncertainty that is compliant with the standard probabilistic approach and subjective logic. Furthermore, we present a use case to demonstrate how this approach can be applied to the evaluation of the trustworthiness of a system based on the knowledge about its components and subsystems.