Trust modeling and verification using Colored Petri Nets

Abstract

Trust is an interesting concept in modern computing environments such as pervasive computing, P2P networks, social networks, etc. There is a huge body of works on how to model and evaluate trust and how to decide based on it. However despite the importance of trust and its usages in some critical systems, verification and validation of trust systems have… (More)

Topics

3 Figures and Tables

Slides referencing similar topics