Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Schneier, B.: Attack trees: Modeling security threats. Dr. Dobb’s Journal 24 (1999)
Varadharajan, V.: A note on trust-enhanced security. IEEE Security and Privacy 7, 57–59 (2009)
Sadeghi, A., Stüble, C.: Property-based attestation for computing platforms: caring about properties, not mechanisms. In: Workshop on New Security Paradigms (2004)
Nagarajan, A., Varadharajan, V.: Dynamic trust enhanced security model for trusted computing platform based services. Future Generation Comp. Sys. (2010)
Jøsang, A.: A logic for uncertain probabilities. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(3), 212–279 (2001)
Jøsang, A., McAnally, D.: Multiplication and comultiplication of beliefs. International Journal of Approximate Reasoning 38(1), 19–51 (2005)
Gambetta, D.: Can we trust trust? In: Gambetta, D. (ed.) Trust: Making and Breaking Cooperative Relations, pp. 213–237. Basil Blackwell, New York (1990)
Buchegger, S., Le Boudec, J.Y.: A Robust Reputation System for Peer-to-Peer and Mobile Ad-hoc Networks. In: P2PEcon 2004 (2004)
Teacy, W., et al.: Travos: Trust and reputation in the context of inaccurate information sources. Aut. Agents and Multi-Agent Systems 12(2), 183–198 (2006)
Jøsang, A., Ismail, R.: The beta reputation system. In: Proceedings of the 15th Bled Conference on Electronic Commerce (2002)
Ries, S., Heinemann, A.: Analyzing the robustness of CertainTrust. In: 2nd Joint iTrust and PST Conf. on Privacy, Trust Management and Security, pp. 51–67 (2008)
Wang, Y., Singh, M.P.: Formal trust model for multiagent systems. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI (2007)
Ries, S.: Extending bayesian trust models regarding context-dependence and user friendly representation. In: ACM Symp. on Applied Computing, pp. 1294–1301 (2009)
Zadeh, L.A.: Fuzzy logic and approximate reasoning. Synthese 30, 407–428 (1975)
Haenni, R.: Towards a unifying theory of logical and probabilistic reasoning. In: 4th Int. Symp. on Imprecise Probabilities and Their Applications, pp. 193–202 (2005)
Bolstad, W.M.: Introduction to Bayesian Statistics. John Wiley & Sons, Inc., Chichester (2004)
Schryen, G., Volkamer, M., Ries, S., Habib, S.M.: A formal approach towards measuring trust in distributed systems. In: ACM Symp. on Applied Comp. (2011)
Ries, S.: Trust in Ubiquitous Computing. PhD thesis, Technische Universität Darmstadt (2009)
Ries, S., Habib, S.M., Mühlhäuser, M., Varadharajan, V.: CertainLogic: A Logic for Modeling Trust and Uncertainty. Technical report, Technische Universität Darmstadt (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ries, S., Habib, S.M., Mühlhäuser, M., Varadharajan, V. (2011). CertainLogic: A Logic for Modeling Trust and Uncertainty. In: McCune, J.M., Balacheff, B., Perrig, A., Sadeghi, AR., Sasse, A., Beres, Y. (eds) Trust and Trustworthy Computing. Trust 2011. Lecture Notes in Computer Science, vol 6740. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21599-5_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-21599-5_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21598-8
Online ISBN: 978-3-642-21599-5
eBook Packages: Computer ScienceComputer Science (R0)