doi dblp Behavior evaluation for trust management based on formal distributed network monitoring Jorge López | Stéphane Maag | Gerardo Morales 2016 Volume 19 Issue 1