CertainLogic: A Logic for Modeling Trust and Uncertainty

(Short Paper)
  • Sebastian Ries
  • Sheikh Mahbub Habib
  • Max Mühlhäuser
  • Vijay Varadharajan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6740)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Schneier, B.: Attack trees: Modeling security threats. Dr. Dobb’s Journal 24 (1999)Google Scholar
  2. 2.
    Varadharajan, V.: A note on trust-enhanced security. IEEE Security and Privacy 7, 57–59 (2009)CrossRefGoogle Scholar
  3. 3.
    Sadeghi, A., Stüble, C.: Property-based attestation for computing platforms: caring about properties, not mechanisms. In: Workshop on New Security Paradigms (2004)Google Scholar
  4. 4.
    Nagarajan, A., Varadharajan, V.: Dynamic trust enhanced security model for trusted computing platform based services. Future Generation Comp. Sys. (2010)Google Scholar
  5. 5.
    Jøsang, A.: A logic for uncertain probabilities. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(3), 212–279 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Jøsang, A., McAnally, D.: Multiplication and comultiplication of beliefs. International Journal of Approximate Reasoning 38(1), 19–51 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Gambetta, D.: Can we trust trust? In: Gambetta, D. (ed.) Trust: Making and Breaking Cooperative Relations, pp. 213–237. Basil Blackwell, New York (1990)Google Scholar
  8. 8.
    Buchegger, S., Le Boudec, J.Y.: A Robust Reputation System for Peer-to-Peer and Mobile Ad-hoc Networks. In: P2PEcon 2004 (2004)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    Jøsang, A., Ismail, R.: The beta reputation system. In: Proceedings of the 15th Bled Conference on Electronic Commerce (2002)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    Wang, Y., Singh, M.P.: Formal trust model for multiagent systems. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI (2007)Google Scholar
  13. 13.
    Ries, S.: Extending bayesian trust models regarding context-dependence and user friendly representation. In: ACM Symp. on Applied Computing, pp. 1294–1301 (2009)Google Scholar
  14. 14.
    Zadeh, L.A.: Fuzzy logic and approximate reasoning. Synthese 30, 407–428 (1975)CrossRefzbMATHGoogle Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    Bolstad, W.M.: Introduction to Bayesian Statistics. John Wiley & Sons, Inc., Chichester (2004)CrossRefzbMATHGoogle Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    Ries, S.: Trust in Ubiquitous Computing. PhD thesis, Technische Universität Darmstadt (2009)Google Scholar
  19. 19.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Sebastian Ries
    • 1
  • Sheikh Mahbub Habib
    • 1
  • Max Mühlhäuser
    • 1
  • Vijay Varadharajan
    • 2
  1. 1.Technische Universität Darmstadt, CASEDDarmstadtGermany
  2. 2.Macquarie UniversitySydneyAustralia

Personalised recommendations