TY - GEN
T1 - A distributed monitoring approach for trust assessment based on formal testing
AU - Lopez, Jorge
AU - Che, Xiaoping
AU - Maag, Stephane
AU - Morales, Gerardo
PY - 2014/1/1
Y1 - 2014/1/1
N2 - 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 trust or, 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.
AB - 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 trust or, 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.
KW - Communication systems
KW - Formal method
KW - Monitoring
KW - Trust
UR - https://www.scopus.com/pages/publications/84904509989
U2 - 10.1109/WAINA.2014.114
DO - 10.1109/WAINA.2014.114
M3 - Conference contribution
AN - SCOPUS:84904509989
SN - 9781479926527
T3 - Proceedings - 2014 IEEE 28th International Conference on Advanced Information Networking and Applications Workshops, IEEE WAINA 2014
SP - 702
EP - 707
BT - Proceedings - 2014 IEEE 28th International Conference on Advanced Information Networking and Applications Workshops, IEEE WAINA 2014
PB - IEEE Computer Society
T2 - 28th IEEE International Conference on Advanced Information Networking and Applications Workshops, IEEE WAINA 2014
Y2 - 13 May 2014 through 16 May 2014
ER -