A formal model for trust in dynamic networks (2003)

by M Carbone, M Nielsen, V Sassone
Venue:IEEE International Conference on Software Engineering and Fromal Methods