Can Formalism Alone Provide an Answer to the Quest of a Viable Definition of Trust in the WWW Society? | SpringerLink
Skip to main content

Can Formalism Alone Provide an Answer to the Quest of a Viable Definition of Trust in the WWW Society?

  • Conference paper
Next Generation Society. Technological and Legal Issues (e-Democracy 2009)

Abstract

Ever since the creation of the first human society, people have understood that the only way of sustaining and improving their societies is to rely on each other for exchanging services. This reliance have traditionally built on developing, among them, trust, a vague, intuitive to a large extend and hard to define concept that brought together people who worked towards the progress we all witness around us today. Today’s society is, however, becoming increasingly massive, collective, and complex and includes not only people, but huge numbers of machines as well. Thus, trust, being already a difficult concept to define and measure when applied to a few people that form a cooperating group or a set of acquaintances, it is far more difficult to pinpoint when applied to large communities whose members may hardly know each other in person or to interconnected machines employed by these communities. In this paper we attempt to take a pragmatic position with regard to trust definition and measurement. We employ several formalisms, into each of which we define a reasonable notion of trust, and show that inherent weaknesses of these formalisms result in an inability to have a concrete and fully measurable trust concept. We then argue that trust in the modern intertwined WWW society must, necessarily, incorporate to some degree non-formalizable elements, such as common sense and intuition.

This work has been partially supported by the ICT Programme of the European Union under contract number ICT-2008-215270 (FRONTS) and by the Open University of Cyprus within the Programme (DYSAT).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Bars, J.-M.L.: Fragments of existential second-order logic without 0-1 laws. In: 13th IEEE Symp. on Logic in Computer Science, pp. 525–536 (1998)

    Google Scholar 

  2. Bollobás, B.: Random Graphs, 2nd edn. Cambridge University Press, Cambridge (2001)

    Book  Google Scholar 

  3. Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. In: IEEE Symposium on Security and Privacy, Oakland, CA, USA, pp. 164–173 (1996)

    Google Scholar 

  4. Dolan, P.: Undecidable statements and random graphs. Annals of Mathematics and Artificial Intelligence 6, 17–26 (1992)

    Article  Google Scholar 

  5. Trachtenbrot, B.: Impossibility of an algorithm for the decision problem on finite classes. Doklady Akad. Nauk. S.S.R. 70, 569–572 (1950)

    Google Scholar 

  6. Eschenauer, L., Gligor, V., Baras, J.: On trust establishment in mobile ad-hoc networks. In: Security Protocols Workshop, Cambridge, UK, pp. 47–66 (2002)

    Google Scholar 

  7. Fagin, R.: Probabilities on finite models. Symbolic Logic 41, 50–58 (1976)

    Article  Google Scholar 

  8. Guha, R., Kumar, R., Raghavan, P., Tomkins, A.: Propagation of trust and distrust. In: International Conference on World Wide Web, pp. 403–412 (2004)

    Google Scholar 

  9. van Heijenoort, J.: From Frege to Gödel: A Source Book in Mathematical Logic. Harvard University Press, Cambridge (1967)

    Google Scholar 

  10. Herken, R. (ed.): The Universal Turing Machine: A Half-Century Survey. Springer, Heidelberg (1995)

    Google Scholar 

  11. Hubaux, J.-P., Buttyan, L., Capkun, S.: The quest for security in mobile ad hoc networks. In: ACM International Symposium on Mobile ad-hoc networking and computing, pp. 146–155 (2001)

    Google Scholar 

  12. Josang, A.: The right type of trust for distributed systems. In: New Security Paradigms Workshop, pp. 119–131 (1996)

    Google Scholar 

  13. Jukna, S.: Extremal Combinatorics - with Applications in Computer Science. Springer, Heidelberg (2001)

    Book  Google Scholar 

  14. Kamvar, S.D., Schlosser, M.T., Garcia-Molina, H.: The eigentrust algorithm for reputation management in p2p networks. In: International Conference on World Wide Web, pp. 640–651 (2003)

    Google Scholar 

  15. Cheeseman, P., Kanefsky, B., Taylor, W.M.: Where the really hard problems are. In: Proc. of the International Joint Conference on Artificial Intelligence, pp. 331–337 (1991)

    Google Scholar 

  16. Dimitrakos, T., Bicarregui, J.C.: Towards A Framework for Managing Trust in e-Services. In: Proceedings of the 4th International Conference on Electronic Commerce Research, ATSMA, IFIP (November 2001) ISBN 0-9716253-0-1

    Google Scholar 

  17. Dimitrakos, T.: System Models, e-Risk and e-Trust. Towards bridging the gap? In: Towards the E-Society: E-Business, E-Commerce, and E-Government (2001)

    Google Scholar 

  18. Grandison, T., Sloman, M.: A Survey of Trust in Internet Applications. In: IEEE Communications Surveys and Tutorials (2000)

    Google Scholar 

  19. Kolaitis, P., Vardi, M.: The decision problem for the probabilities of higher-order properties. In: 19th ACM Symp. on Theory of Computing, New York, pp. 425–435 (1987)

    Google Scholar 

  20. Kolaitis, P., Vardi, M.: 0-1 laws for fragments ofexistential second-order logic: A survey. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol. 1893, pp. 84–98. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  21. Nikoletseas, S., Raptopoulos, C., Spirakis, P.: The existence and efficient construction of large independent sets in general random intersection graphs. In: Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol. 3142, pp. 1029–1040. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  22. Richardson, M., Agrawal, R., Domingos, P.: Trust management for the semantic web. In: International Semantic Web Conference, pp. 351–368 (2003)

    Google Scholar 

  23. Spencer, J.: The strange logic of Random Graphs. Springer, Heidelberg (2001)

    Book  Google Scholar 

  24. Theodorakopoulos, G., Baras, J.S.: Trust evaluation in ad-hoc networks. In: ACM Workshop on Wireless security, pp. 1–10 (2004)

    Google Scholar 

  25. Trachtenbrot, B.: Impossibility of an algorithm for the decision problem on finite classes. Doklady Akad. Nauk. S.S.R. 70, 569–572 (1950)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering

About this paper

Cite this paper

Liagkou, V., Spirakis, P., Stamatiou, Y.C. (2010). Can Formalism Alone Provide an Answer to the Quest of a Viable Definition of Trust in the WWW Society?. In: Sideridis, A.B., Patrikakis, C.Z. (eds) Next Generation Society. Technological and Legal Issues. e-Democracy 2009. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 26. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11631-5_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-11631-5_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-11629-2

  • Online ISBN: 978-3-642-11631-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics