Michael J. Butler, Michael Leuschel, Stéphane Lo Presti, Phillip Turner. The Use of Formal Methods in the Analysis of Trust (Position Paper). In Christian Damsgaard Jensen, Stefan Poslad, Theodosis Dimitrakos, editors, Trust Management, Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings. Volume 2995 of Lecture Notes in Computer Science, pages 333-339, Springer, 2004. [doi]
Abstract is missing.