nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

Logics to Reason Formally About Trust Computation and Manipulation

verfasst von : Alessandro Aldini, Mirko Tagliaferri

Erschienen in: Emerging Technologies for Authorization and Authentication

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Trust represents a fundamental, complementary ingredient for the success of security mechanisms in computer science, as it goes beyond the intrinsic, technical aspects of cybersecurity, by involving the subjective perception of users, the willingness to collaborate and expose own resources and capabilities, and the judgement about the expected behavior of other parties. Computational notions of trust are formalized to support automatically the process of building and maintaining trust infrastructures, and mathematical logics provide the formal means to reason about the efficacy of such a process. In this work we advocate the use of two logical approaches to the modeling and verification of the two main tasks at the base of any trust infrastructure: the initial computation of trust values and the dynamic manipulation of such values.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Nächstes Kapitel An Authorization Framework for Cooperative Intelligent Transport Systems

Notice that it is also possible to base the semantics of LCT on notions stronger than belief, like, e.g., classical definitions of knowledge from epistemic modal logic. However, we prefer using belief as it is a more general notion and it can capture better the cognitive states of human agents.

Aldini, A.: Modeling and verification of trust and reputation systems. J. Secur. Commun. Netw. 8(16), 2933–2946 (2015)CrossRef

Aldini, A.: Design and verification of trusted collective adaptive systems. Trans. Model. Comput. Simul. (TOMACS) 28(2), Article no. 9 (2018). https://doi.org/10.1145/3155337 MathSciNetCrossRef

Alexopoulos, N., Daubert, J., Mühlhäuser, M., Habib, S.M.: Beyond the hype: on using blockchains in trust management for authentication. In: IEEE Trustcom/BigDataSE/ICESS, pp. 546–553. IEEE (2017)

Anakath, A., Rajakumar, S., Ambika, S.: Privacy preserving multi factor authentication using trust management. Clust. Comput. 22, 10817–10823 (2019) CrossRef

Barber, B.: The Logic and Limits of Trust. Rutgers University Press, New Brunswick (1983)

Bateson, P.: The biological evolution of cooperation and trust. In: Gambetta, D. (ed.) Trust: Making and Breaking Cooperative Relations, pp. 31–48. Blackwell, New York (1988)

van Benthem, J., Fernández-Duque, D., Pacuit, E.: Evidence logic: a new look at neighborhood structures. Adv. Modal Log. 9, 97–118 (2012)MathSciNetMATH

Solhaug, B., Stølen, K.: Uncertainty, subjectivity, trust and risk: how it all fits together. In: Meadows, C., Fernandez-Gago, C. (eds.) STM 2011. LNCS, vol. 7170, pp. 1–5. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-29963-6_1CrossRef

Blaze, M., Feigenbaum, J., Ioannidis, J., Keromytis, A.D.: The role of trust management in distributed systems security. In: Vitek, J., Jensen, C.D. (eds.) Secure Internet Programming. LNCS, vol. 1603, pp. 185–210. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48749-2_8CrossRef

10.

Castelfranchi, C., Falcone, R.: Principles of trust for MAS: cognitive anatomy, social importance, and quantification. In: International Conference on Multi Agent Systems (ICMAS), pp. 72–79. IEEE (1988)

11.

Chapin, P.C., Skalka, C., Wang, X.S.: Authorization in trust management: features and foundations. Comput. Surv. 40(3), 9:1–9:48 (2008)CrossRef

12.

Coleman, J.: Foundations of Social Theory. Harvard University Press, Cambridge (1990)

13.

Dasgupta, P.: Trust as a commodity. In: Gambetta, D. (ed.) Trust: Making and Breaking Cooperative Relations, pp. 49–72. Blackwell, New York (1988)

14.

Drawel, N., Bentahar, J., Laarej, A.: Verifying temporal trust logic using CTL model checking. In: 20th International Workshop on Trust in Agent Societies. CEUR-WS (2018)

15.

Fehr, E.: On the economics and biology of trust. J. Eur. Econ. Assoc. 7, 235–266 (2009)CrossRef

16.

Hardin, R.: The street-level epistemology of trust. Polit. Soc. 21, 505–529 (1993)CrossRef

17.

Hardin, R.: Trust and Trustworthiness. Russell Sage Foundation, New York (2002)

18.

Herzig, A., Hübner, J.F., Lorini, E., Vercouter, L.: A logic of trust and reputation. Log. J. IGPL 18(1), 214–244 (2010)MathSciNetMATHCrossRef

19.

Husseini, A., M’Hamed, A., ElHassan, B.A., Mokhtaari, M.: A novel trust-based authentication scheme for low-resource devices in smart environments. Pers. Ubiquit. Comput. 5(5), 362–369 (2011)

20.

Jøsang, A.: Trust and reputation systems. In: Aldini, A., Gorrieri, R. (eds.) FOSAD 2006-2007. LNCS, vol. 4677, pp. 209–245. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-74810-6_8CrossRef

21.

Jøsang, A.: Subjective Logic. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42337-1MATHCrossRef

22.

Jøsang, A., Ismail, R., Boyd, C.: A survey of trust and reputation systems for online service provision. Decis. Support Syst. 43(2), 618–644 (2007)CrossRef

23.

Kim, H., Lee, E.A.: Authentication and authorization for the Internet of Things. IEEE IT Prof. 19(5), 27–33 (2017)CrossRef

24.

Koshutanski, H., Massacci, F.: An interactive trust management and negotiation scheme. In: Dimitrakos, T., Martinelli, F. (eds.) Formal Aspects in Security and Trust. IIFIP, vol. 173, pp. 115–128. Springer, Boston (2005). https://doi.org/10.1007/0-387-24098-5_9CrossRef

25.

Levi, M.: A state of trust. In: Braithwaite, V., Levi, M., Cook, K., Hardin, R. (eds.) Trust and Governance, pp. 77–101. Russell Sage Foundation, New York (1998)

26.

Luhmann, N.: Trust and Power. Wiley, New York (1979)

27.

Mármol, F.G., Pérez, G.M.: Trust and reputation models comparison. Internet Res. 21(2), 138–153 (2011)CrossRef

28.

Marsh, S.: Formalising Trust as a Computational Concept. University of Stirling, Scotland (1994)

29.

Mousa, H., Mokhtar, S.B., Hasan, O., Younes, O., Hadhoud, M., Brunie, L.: Trust management and reputation systems in mobile participatory sensing applications: a survey. Comput. Netw. 90, 49–73 (2015)CrossRef

30.

Muller, T.: Semantics of trust. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol. 6561, pp. 141–156. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-19751-2_10CrossRef

31.

Nissenbaum, H.: Securing trust online: wisdom or oxymoron. Boston Univ. Law Rev. 81(3), 635–664 (2001)

32.

Nunoo-Mensah, H., Boateng, K.O., Gadze, J.D.: The adoption of socio- and bio-inspired algorithms for trust models in wireless sensor networks: a survey. Int. J. Commun. Syst. 31(7), e3444 (2018)CrossRef

33.

Pacuit, E.: Neighborhood Semantics for Modal Logic. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-67149-9MATHCrossRef

34.

Rasmusson, L., Jansson, S.: Simulated social control for secure Internet commerce. In: Proceedings of the Workshop on New Security Paradigms, pp. 18–25 (1996)

35.

Robbins, B.G.: What is trust? A multidisciplinary review, critique, and synthesis. Sociol. Compass 10(10), 972–986 (2016)CrossRef

36.

Schelling, T.: The Strategy of Conflict. Harvard University Press, Cambridge (1960)MATH

37.

Seigneur, J.-M., Ahram, T., Taiar, R.: A survey on trust in augmented human technologies. In: Ahram, T., Karwowski, W., Taiar, R. (eds.) IHSED 2018. AISC, vol. 876, pp. 1033–1037. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-02053-8_157CrossRef

38.

Singh, M.P.: Trust as dependence: a logical approach. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 863–870 (2011)

39.

Singh, S., Bawa, S.: A privacy, trust and policy based authorization framework for services in distributed environments. Int. J. Comput. Sci. 2(2), 85–92 (2007)

40.

Tagliaferri, M., Aldini, A.: From knowledge to trust: a logical framework for pre-trust computations. In: Gal-Oz, N., Lewis, P.R. (eds.) IFIPTM 2018. IAICT, vol. 528, pp. 107–123. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-95276-5_8CrossRef

41.

Tagliaferri, M., Aldini, A.: A taxonomy of computational models for trust computing in decision-making procedures. In: 17th European Conference on Cyber Warfare and Security (ECCWS), pp. 571–578. ACPI (2018)

42.

Tagliaferri, M., Aldini, A.: A trust logic for pre-trust computations. In: 21th International Conference on Information Fusion (FUSION). IEEE (2018)

43.

Tagliaferri, M., Aldini, A.: A trust logic for the varieties of trust. In: Camara, J., Steffen, M. (eds.) SEFM 2019. LNCS. Springer (2019, to appear)

44.

Trivers, R.L.: The evolution of reciprocal altruism. Q. Rev. Biol. 46(1), 35–57 (1971)CrossRef

45.

Trivers, R.L.: Natural Selection and Social Theory: Selected Papers of Robert Trivers. Oxford University Press, New York (2002)

46.

Uslaner, E.M.: Who do you trust? In: Shockley, E., Neal, T.M.S., PytlikZillig, L.M., Bornstein, B.H. (eds.) Interdisciplinary Perspectives on Trust, pp. 71–83. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-22261-5_4CrossRef

47.

Williamson, O.: Calculativeness, trust, and economic organization. J. Law Econ. 36(2), 453–486 (1993)CrossRef

48.

Yu, B., Singh, M.P.: Detecting deception in reputation management. In: 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 73–80. ACM (2003)

49.

Zhang, C.C., Winslett, M.: Distributed authorization by multiparty trust negotiation. In: Jajodia, S., Lopez, J. (eds.) ESORICS 2008. LNCS, vol. 5283, pp. 282–299. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88313-5_19CrossRef

Titel: Logics to Reason Formally About Trust Computation and Manipulation
verfasst von: Alessandro Aldini
Mirko Tagliaferri
Verlag: Springer International Publishing
Buch: Emerging Technologies for Authorization and Authentication
Print ISBN: 978-3-030-39748-7

Electronic ISBN: 978-3-030-39749-4

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-39749-4_1

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"