Towards a Formal Framework for Computational Trust (2006)

by V Sassone, K Krukow, M Nielsen
Venue:In Proceedings of the 5th International Symposium on Formal Methods for Components and Objects (FMCO 2006), volume LNCS 4709