From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust

Karl Krukow, Mogens Nielsen. From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust. In Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider, editors, Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers. Volume 4691 of Lecture Notes in Computer Science, pages 96-111, Springer, 2006. [doi]

Abstract

Abstract is missing.