Testing trust properties using a formal distributed network monitoring approach

Xiaoping Che, Jorge López, Stéphane Maag, Gerardo Morales. Testing trust properties using a formal distributed network monitoring approach. Annales des Télécommunications, 70(3-4):95-105, 2015. [doi]

Abstract

Abstract is missing.