A Distributed Monitoring Approach for Trust Assessment Based on Formal Testing

Abstract

Communications systems are growing in use and in popularity. While their interactions are becoming more numerous, trust those interactions now becomes a priority. In this paper, we focus on trust management systems based on observations of trustee behaviors. Based on a formal testing methodology, we propose a formal distributed network monitoring approach to analyze the packets exchanged between the trustor, trustee and other points of observation in order to prove the trustee is acting in a trustworthy manner. Based on formal "trust properties", the monitored systems behaviors provide a verdict of trust by analyzing and testing those properties. Finally, our methodology is applied to a real industrial DNS use case scenario.

Process Mining for Trust Monitoring

“…These comparisons are defined formally by the definition of atoms. The interested reader can find the formal definition of atoms as part of our proposed language in our previous work [13]. Please note that for the time relationships, we assume the network traces are synchronized using the NTP protocol [15].…”

“…A prototype is part of the formal definition found in the definition of formulas(the formal definition also found in [13]). One formula is a formal representation of what we will call a trust property.…”

“…This allows to check the conformance of the protocol implementation with regards to its standard. Some of these techniques have been applied to monitor trust behaviors in distributed systems [13,5]. Nevertheless, although they provided interesting results, the way to find out trust properties is laborious and time consuming.…”