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).
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Bollobás, B.: Random Graphs, 2nd edn. Cambridge University Press, Cambridge (2001)
Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. In: IEEE Symposium on Security and Privacy, Oakland, CA, USA, pp. 164–173 (1996)
Dolan, P.: Undecidable statements and random graphs. Annals of Mathematics and Artificial Intelligence 6, 17–26 (1992)
Trachtenbrot, B.: Impossibility of an algorithm for the decision problem on finite classes. Doklady Akad. Nauk. S.S.R. 70, 569–572 (1950)
Eschenauer, L., Gligor, V., Baras, J.: On trust establishment in mobile ad-hoc networks. In: Security Protocols Workshop, Cambridge, UK, pp. 47–66 (2002)
Fagin, R.: Probabilities on finite models. Symbolic Logic 41, 50–58 (1976)
Guha, R., Kumar, R., Raghavan, P., Tomkins, A.: Propagation of trust and distrust. In: International Conference on World Wide Web, pp. 403–412 (2004)
van Heijenoort, J.: From Frege to Gödel: A Source Book in Mathematical Logic. Harvard University Press, Cambridge (1967)
Herken, R. (ed.): The Universal Turing Machine: A Half-Century Survey. Springer, Heidelberg (1995)
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)
Josang, A.: The right type of trust for distributed systems. In: New Security Paradigms Workshop, pp. 119–131 (1996)
Jukna, S.: Extremal Combinatorics - with Applications in Computer Science. Springer, Heidelberg (2001)
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)
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)
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
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)
Grandison, T., Sloman, M.: A Survey of Trust in Internet Applications. In: IEEE Communications Surveys and Tutorials (2000)
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)
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)
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)
Richardson, M., Agrawal, R., Domingos, P.: Trust management for the semantic web. In: International Semantic Web Conference, pp. 351–368 (2003)
Spencer, J.: The strange logic of Random Graphs. Springer, Heidelberg (2001)
Theodorakopoulos, G., Baras, J.S.: Trust evaluation in ad-hoc networks. In: ACM Workshop on Wireless security, pp. 1–10 (2004)
Trachtenbrot, B.: Impossibility of an algorithm for the decision problem on finite classes. Doklady Akad. Nauk. S.S.R. 70, 569–572 (1950)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)