A Distributed Monitoring Approach for Trust Assessment Based on Formal Testing


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… (More)
DOI: 10.1109/WAINA.2014.114


3 Figures and Tables