A formal model for trust in dynamic networks · Study