CertainLogic: A logic for modeling trust and uncertainty (Short paper)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6740 LNCS, Issue , 2011, Pages 254-261

  Ries, Sebastian ^a   Habib, Sheikh Mahbub ^a   Mühlhäuser, Max ^a   Varadharajan, Vijay ^b  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^b MACQUARIE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; UNCERTAINTY ANALYSIS; COMPUTATION THEORY; TRUSTED COMPUTING;

CERTAINLOGIC; IT RESEARCH; MODEL TRUSTS; PROBABILISTIC APPROACHES; PROPOSITIONAL LOGIC; SUBJECTIVE LOGIC;

COMPUTER CIRCUITS;

EID: 84947556769     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21599-5_19     Document Type: Conference Paper

References (19)

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