Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for modern computing systems. Security has been studied thoroughly for many years, particularly the sub-domain of cryptography. The use of computing science formal methods has facilitated cryptanalysis of security protocols. At the moment, trust is intensively studied, but not well understood. Here we present our approach based on formal methods for modelling and validating the notion of trust in computing science. © Springer-Verlag 2004.
CITATION STYLE
Butler, M., Leuschel, M., Presti, S. L., & Turner, P. (2004). The use of formal methods in the analysis of trust (position paper). Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2995, 333–339. https://doi.org/10.1007/978-3-540-24747-0_25
Mendeley helps you to discover research relevant for your work.