The Use of Formal Methods in the Analysis of Trust (Position Paper)


Butler, Michael, Leuschel, Michael, Lo Presti, Stephane and Turner, Phillip, (2004) The Use of Formal Methods in the Analysis of Trust (Position Paper) Jensen, Christian, Poslad, Stefan and Dimitrakos, Theo (eds.) At Second International Conference on Trust Management (iTrust 2004), United Kingdom. 01 Mar - 29 Apr 2004. , pp. 333-339.

Download

[img] PDF itrust04.pdf - Other
Download (79kB)

Description/Abstract

Security and trust are two properties of modern computing systems that are thefocus 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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: March 29 - April 1st 2004
Venue - Dates: Second International Conference on Trust Management (iTrust 2004), United Kingdom, 2004-03-01 - 2004-04-29
Keywords: trust analysis, formal methods, B method, UML, U2B, UML-B, ProB
Organisations: Electronic & Software Systems
ePrint ID: 258770
Date :
Date Event
2004Published
Date Deposited: 19 Jan 2004
Last Modified: 17 Apr 2017 22:40
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/258770

Actions (login required)

View Item View Item