Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph. A Formal Notion of Trust - Enabling Reasoning about Security Properties. In Masakatsu Nishigaki, Audun Jøsang, Yuko Murayama, Stephen Marsh, editors, Trust Management IV - 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010. Proceedings. Volume 321 of IFIP Conference Proceedings, pages 200-215, Springer, 2010. [doi]
Abstract is missing.