A formal model for trust in dynamic networks (0)

by M Carbone, M Nielsen, V Sassone
Venue:SEFM’03: Proceedings of the 1st International Conference on Software Engineering and Formal Methods. IEEE Computer Society