Peter Herrmann. Temporal Logic-Based Specification and Verification of Trust Models. In Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci, editors, Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings. Volume 3986 of Lecture Notes in Computer Science, pages 105-119, Springer, 2006. [doi]
Abstract is missing.