{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:31:38Z","timestamp":1774801898405,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540213123","type":"print"},{"value":"9783540247470","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24747-0_25","type":"book-chapter","created":{"date-parts":[[2010,12,17]],"date-time":"2010-12-17T10:40:19Z","timestamp":1292582419000},"page":"333-339","source":"Crossref","is-referenced-by-count":5,"title":["The Use of Formal Methods in the Analysis of Trust (Position Paper)"],"prefix":"10.1007","author":[{"given":"Michael","family":"Butler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane Lo","family":"Presti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phillip","family":"Turner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"J\u00f8sang, A.: Trust-based decision making for electronic transactions. In: Proc. of the 4th Nordic Workshop on Secure IT Systems (NORDSEC 1999), Sweden (November 1999)"},{"key":"25_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/3-540-45547-7_8","volume-title":"Trust in Cyber-societies","author":"A. Birk","year":"2001","unstructured":"Birk, A.: Learning to Trust. In: Falcone, R., Singh, M., Tan, Y.-H. (eds.) AA-WS 2000. LNCS (LNAI), vol.\u00a02246, p. 133. Springer, Heidelberg (2001)"},{"key":"25_CR3","unstructured":"Barras, B., et al.: The Coq proof assistant reference manual: Version 6.1. Technical Report INRIA RT-0203 (May 1997)"},{"issue":"5","key":"25_CR4","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1109\/49.223872","volume":"11","author":"C. Boyd","year":"1993","unstructured":"Boyd, C.: Security Architectures Using Formal Methods. IEEE Journal on Selected Areas in Communications\u00a011(5), 694\u2013701 (1993)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"25_CR5","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"25_CR6","unstructured":"Snook, C., Butler, M., Oliver, I.: Towards a UML profile for UML-B. Technical Report DSSE-TR-2003-3, University of Southampton, UK (2003)"},{"key":"25_CR7","unstructured":"Snook, C., Butler, M.: 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)"},{"key":"25_CR8","volume-title":"Proc. of the 10th Computer Security Foundations Workshop","author":"D. Bolignano","year":"1997","unstructured":"Bolignano, D.: Towards the Formal Verification of Electronic Commerce Protocols. In: Proc. of the 10th Computer Security Foundations Workshop, IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"25_CR9","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a011, 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Casper: A Compiler for the Analysis of Security Protocols. In: Proc. of the 10th IEEE Computer Security Foundations Workshop, USA, pp. 53\u201384 (1997)","DOI":"10.3233\/JCS-1998-61-204"},{"key":"25_CR11","unstructured":"Bowen, J.: Formal Methods, \n                    \n                      http:\/\/www.afm.lsbu.ac.uk"},{"key":"25_CR12","unstructured":"Draper, J., Treharne, H., Ormsby, B., Boyce, T.: Evaluating the B-Method on an Avionics Example. In: Data Systems in Aerospace Conf. (DASIA 1996), pp. 89\u201397 (1996)"},{"key":"25_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)"},{"key":"25_CR14","volume-title":"The Unified Modelling Language Reference Manual","author":"J. Rumbaugh","year":"1998","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modelling Language Reference Manual. Addison-Wesley, Reading (1998)"},{"issue":"1","key":"25_CR15","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s001650200025","volume":"14","author":"M. Butler","year":"2002","unstructured":"Butler, M.: On the Use of Data Refinement in the Development of Secure Communications Systems. Formal Aspects of Computing\u00a014(1), 2\u201334 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"25_CR16","unstructured":"Butler, M., et 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)"},{"key":"25_CR17","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/SEFM.2003.1236207","volume-title":"Proc. of the Intl Conf on Software Engineering and Formal Methods, SEFM 2003","author":"M. Carbone","year":"2003","unstructured":"Carbone, M., Nielsen, M., Sassone, V.: A Formal Model for Trust in Dynamic Networks. In: Proc. of the Intl Conf on Software Engineering and Formal Methods, SEFM 2003, pp. 54\u201361. IEEE Computer Society, Los Alamitos (2003)"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Leuschel, M., Butler, M.: ProB: A Model-Checker for B. In: Proc of FM 2003: 12th Intl. FME Symposium, Italy, September 2003, pp. 855\u2013874 (2003)","DOI":"10.1007\/978-3-540-45236-2_46"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Satpathy, M., Leuschel, M., Butler, M.: ProTest: An Automatic Test Environment for B Specifications. In: International Workshop on Model Based Testing (2004)","DOI":"10.1016\/j.entcs.2004.12.009"},{"key":"25_CR20","unstructured":"Satpathy, M., Harrison, R., Snook, C., Butler, M.: A Comparative Study of Formal and Informal Specifications through an Industrial Case Study. In: IEEE\/IFIP Workshop on Formal Specification of Computer Based Systems (2001)"},{"key":"25_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-36609-1_8","volume-title":"Trust, Reputation, and Security: Theories and Practice","author":"N. Griffiths","year":"2003","unstructured":"Griffiths, N., Luck, M., d\u2019Inverno, M.: Annotating Cooperative Plans with Trusted Agents. In: Falcone, R., Barber, S.K., Korba, L., Singh, M.P. (eds.) AAMAS 2002. LNCS (LNAI), vol.\u00a02631, pp. 87\u2013107. Springer, Heidelberg (2003)"},{"key":"25_CR22","unstructured":"Creese, S., Goldsmith, M., Roscoe, B., Zakiuddin, I.: The Attacker in Ubiquitous Computing Environments: Formalising the Threat Model. In: Proc. of the 1st Intl Workshop on Formal Aspects in Security and Trust, Italy, pp. 83\u201397 (2003)"},{"key":"25_CR23","unstructured":"Lenzini, S., Gnesi, S., Latella, D.: SpyDer, a Security Model Checker. In: Proc. of the 1st Intl Workshop on Formal Aspects in Security and Trust, Pisa, Italy, pp. 163\u2013180 (2003)"},{"key":"25_CR24","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/3-540-58266-5_6","volume-title":"Artificial Social Systems, (MAAMAW 1994)","author":"S. Marsh","year":"1994","unstructured":"Marsh, S.: Trust in Distributed Artificial Intelligence. In: Artificial Social Systems (MAAMAW 1994). LNCS, vol.\u00a0830, pp. 94\u2013112. Springer, Heidelberg (1994)"},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Grandison, T.: Trust Management for Internet Applications. PhD thesis, University of London, UK (2003)","DOI":"10.1007\/3-540-44875-6_7"},{"key":"25_CR26","unstructured":"The FORWARD project. Protocol Synthesis Feasibility Report, FORWARD Deliverable D2, \n                    \n                      http:\/\/www.nextwave.org.uk\/downloads\/forward_psfr.pdf"},{"key":"25_CR27","unstructured":"University of Southampton and QinetiQ. T-SAS (Trusted Software Agents and Services in Pervasive Information Environment) project, \n                    \n                      http:\/\/www.trustedagents.co.uk"},{"key":"25_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/3-540-44875-6_22","volume-title":"Trust Management","author":"W. Teh-Ming Yao","year":"2003","unstructured":"Teh-Ming Yao, W.: Fidelis: A Policy-Driven Trust Management Framework. In: Nixon, P., Terzis, S. (eds.) iTrust 2003. LNCS, vol.\u00a02692, pp. 301\u2013317. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Trust Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24747-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:30:08Z","timestamp":1558294208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24747-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213123","9783540247470"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24747-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}