Abstract
In this work-in-progress article, we propose the use of state transition systems to model and specify non-trivial real-life trust acquisition strategies, which are stateful and may dynamically adapt, depending on the particular context/situation of a truster, a trustee or an environment. The approach is exemplified with an oral examination scenario in which the kind of questions and, hence, the trust acquisition strategy can be automatically adjusted according to the performance of the examinee. We define a discrete trust metric (a “state of trust”), built on top of a continuous trust representation (Jøsang’s subjective logic in our example). To specify the according trust acquisition policy as a state-transition system, we use the temporal logic cTLA.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
McKnight, D.H., Chervany, N.L.: The Meanings of Trust. Working Paper Series 96–04. University of Minnesota — Carlson School of Management (1996)
Herrmann, P., Kraemer, F.A.: Design of Trusted Systems with Reusable Collaboration Models. In: Etalle, S., Marsh, S. (eds.) Trust Management. IFIP AICT, vol. 238, pp. 317–332. Springer, Boston (2007)
Herrmann, P.: Temporal Logic-Based Specification and Verification of Trust Models. In: Stølen, K., Winsborough, W.H., Martinelli, F., Massacci, F. (eds.) iTrust 2006. LNCS, vol. 3986, pp. 105–119. Springer, Heidelberg (2006)
Jøsang, A.: Trust and Reputation Systems. In: Tutorial at IFIPTM 2009, Purdue (June 2009)
Ni, Q., Bertino, E., Lobo, J.: Risk-based access control systems built on fuzzy inferences. In: Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, pp. 250–260. ACM, New York (2010)
Golbeck, J.: Computing with Social Trust. Springer (December 2010)
Jøsang, A.: A Logic for Uncertain Probabilities. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(3), 279–311 (2001)
Herrmann, P.: Trust-Based Protection of Software Component Users and Designers. In: Nixon, P., Terzis, S. (eds.) iTrust 2003. LNCS, vol. 2692, pp. 75–90. Springer, Heidelberg (2003)
Carminati, B., Ferrari, E., Perego, A.: Enforcing access control in web-based social networks. ACM Trans. Inf. Syst. Secur. 13(1), 6:1–6:38 (2009)
Page, L., Brin, S., Motwani, R., Winograd, T.: The PageRank Citation Ranking: Bringing Order to the Web. Technical report, Stanford Digital Library Technologies Project (1998)
Jøsang, A., Knapskog, S.J.: A metric for trusted systems. In: Proceedings of the 21st National Security Conference, NSA (1998)
Jøsang, A., Ismail, R.: The Beta Reputation System. In: Proceedings of the 15th Bled Electronic Commerce Conference (June 2002)
Tavakolifard, M., Herrmann, P., Knapskog, S.: Inferring Trust based on Similarity with TILLIT. In: Ferrari, E., Li, N., Bertino, E., Karabulut, Y. (eds.) IFIPTM 2009. IFIP AICT, vol. 300, pp. 133–148. Springer, Heidelberg (2009)
Flaminio, T., Pinna, G.M., Tiezzi, E.B.: A complete fuzzy logical system to deal with trust management systems. Fuzzy Sets and Systems 159, 1191–1207 (2008)
Herrmann, P., Krumm, H.: A Framework for Modeling Transfer Protocols. Computer Networks 34(2), 317–337 (2000)
Lamport, L.: Specifying Systems. Addison-Wesley (2002)
Yu, Y., Manolios, P., Lamport, L.: Model Checking TLA+ Specifications. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 54–66. Springer, Heidelberg (1999)
Kraemer, F., Slåtten, V., Herrmann, P.: Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. Journal of Systems and Software 82, 2068–2080 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 IFIP International Federation for Information Processing
About this paper
Cite this paper
Gladysh, S., Herrmann, P. (2013). Modeling Reactive Trust Acquisition Using State Transition Systems. In: Fernández-Gago, C., Martinelli, F., Pearson, S., Agudo, I. (eds) Trust Management VII. IFIPTM 2013. IFIP Advances in Information and Communication Technology, vol 401. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38323-6_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-38323-6_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38322-9
Online ISBN: 978-3-642-38323-6
eBook Packages: Computer ScienceComputer Science (R0)