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)

Volumn 2995, Issue , 2004, Pages 333-339

  Butler, Michael ^a   Leuschel, Michael ^a   Presti, Stéphane Lo ^a   Turner, Phillip ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY;

COMPUTING SCIENCE; COMPUTING SYSTEM; POSITION PAPERS; SECURITY AND TRUSTS; SUB-DOMAINS;

FORMAL METHODS;

EID: 35048862805     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/b96545     Document Type: Conference Paper

References (28)

1. A. Jøsang. Trust-based decision making for electronic transactions. In Proc. of the 4th Nordic Workshop on Secure IT Systems (NORDSEC’99), Sweden, November 1999.
2. Andreas Birk. Learning to Trust. In Trust in Cyber-societies, Integrating the Human and Artificial Perspectives, volume 2246 of LNCS. Springer, 2001.
3. B. Barras and al. The Coq proof assistant reference manual: Version 6.1. Technical Report INRIA RT-0203, May 1997.
4. C. Boyd. Security Architectures Using Formal Methods. IEEE Journal on Selected Areas in Communications, 11(5): 694-701, June 1993.
5. C. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
6. C. Snook, M. Butler and I. Oliver. Towards a UML profile for UML-B. Technical Report DSSE-TR-2003-3, University of Southampton, UK, 2003.
7. Colin Snook and Michael Butler. Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit. In Proc of UML 200 Workshop Dynamic Behaviour in UML Models: Semantic Questions, York, October 2000.
8. D. Bolignano. Towards the Formal Verification of Electronic Commerce Protocols. In Proc. of the 10th Computer Security Foundations Workshop. IEEE Computer Society Press, 1997.
9. D. Jackson. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM), 11: 256-290, 2002.
10. G. Lowe. Casper: A Compiler for the Analysis of Security Protocols. In Proc. of the 10th IEEE Computer Security Foundations Workshop, pages 53-84, USA, 1997.
11. J. Bowen. Formal Methods. http://www.afm.lsbu.ac.uk.
12. J. Draper, H. Treharne, B. Ormsby B. and T. Boyce. Evaluating the B-Method on an Avionics Example. Data Systems in Aerospace Conf (DASIA’96), pages 89-97, 1996.
13. J-R Abrial. The B-Book. Cambridge University Press, 1996.
14. J. Rumbaugh, I. Jacobson and G. Booch. The Unified Modelling Language Reference Manual. Addison-Wesley, 1998.
15. M. Butler. On the Use of Data Refinement in the Development of Secure Communications Systems. Formal Aspects of Computing, 14(1): 2-34, October 2002.
16. M. Butler and al. Towards a Trust Analysis Framework for Pervasive Computing Scenarios. In Proc of the 6th Intl Workshop on Trust, Privacy, Deception, and Fraud in Agent Societies, Australia, July 2003.
17. M. Carbone, M. Nielsen and V. Sassone. A Formal Model for Trust in Dynamic Networks. In Proc. of the Intl Conf on Software Engineering and Formal Methods, SEFM 2003, pages 54-61. IEEE Computer Society, 2003.
18. M. Leuschel and M. Butler. ProB: A Model-Checker for B. In Proc of FM 2003: 12th Intl. FME Symposium, pages 855-874, Italy, September 2003.
19. M. Satpathy, M. Leuschel and M. Butler. ProTest: An Automatic Test Environment for B Specifications. In International Workshop on Model Based Testing, 2004.
20. M. Satpathy, R. Harrison, C. Snook and M. Butler. A Comparative Study of Formal and Informal Specifications through an Industrial Case Study. IEEE/ IFIP Workshop on Formal Specification of Computer Based Systems, 2001.
21. N. Griffiths, M. Luck and M. d’Inverno. Annotating Cooperative Plans with Trusted Agents. In Trust, Reputation, and Security: Theories and Practice, LNAI 2631. Springer, 2002.
22. S. Creese, M. Goldsmith, B. Roscoe and I. Zakiuddin. The Attacker in Ubiquitous Computing Environments: Formalising the Threat Model. In Proc. of the 1st Intl Workshop on Formal Aspects in Security and Trust, pages 83-97, Italy, 2003.
23. S. Lenzini, S. Gnesi and D. Latella. SpyDer, a Security Model Checker. In Proc. of the 1st Intl Workshop on Formal Aspects in Security and Trust, pages 163-180, Pisa, Italy, 2003.
24. S. Marsh. Trust in Distributed Artificial Intelligence. In Artificial Social Systems, (MAA-MAW’94), LNCS 830, pages 94-112. Springer, 1994.
25. T. Grandison. Trust Management for Internet Applications. PhD thesis, University of London, UK, 2003.
26. The FORWARD project. Protocol Synthesis Feasibility Report, FORWARD Deliverable D2. http://www.nextwave.org.uk/downloads/forward_psfr.pdf.
27. University of Southampton and QinetiQ. T-SAS (Trusted Software Agents and Services in Pervasive Information Environment) project. http://www.trustedagents.co.uk.
28. W. Teh-Ming Yao. Fidelis: A Policy-Driven Trust Management Framework. In Proc. 1st Intl Conf on Trust Management (iTrust 2003), Greece, May 2003.