A formal model for trust in dynamic networks (2003)

by M Carbone, M Nielsen, V Sassone
Venue:In Int. Conference on Software Engineering and Formal Methods (SEFM