A distributed monitoring approach for trust assessment based on formal testing - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A distributed monitoring approach for trust assessment based on formal testing

Résumé

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
Fichier non déposé

Dates et versions

hal-01263330 , version 1 (27-01-2016)

Identifiants

Citer

Jorge Eleazar Lopez Coronado, Xiaoping Che, Stephane Maag, Gerardo Morales. A distributed monitoring approach for trust assessment based on formal testing. WAINA 2014 : 28th International Conference on Advanced Information Networking and Applications Workshops, May 2014, Victoria, Bc, Canada. pp.702 - 707, ⟨10.1109/WAINA.2014.114⟩. ⟨hal-01263330⟩
117 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More