M. Carbone, M. Nielsen, and V. Sassone, “A Formal Model for Trust in Dynamic Networks”, BRICS, vol. 10, no. 4, Jan. 2003.