Paper Details

[ Downloads: 6 | Abstract Viewed: 622 | Pages: 8 ]

Abstract of the Article

Note: English CIVILICA is in its Trial Period so Full Texts can not be provided! Persian users can download it here

Trust Modeling and Verification Using Colored Petri Nets

Authors:

[ Amir Jalaly Bidgoly ] - Department of Computer Engineering University of IsfahanIsfahan, Iran
[ Behrouz Tork Ladani ] - Department of Computer Engineering University of IsfahanIsfahan, Iran

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 not been sufficiently considered yet. In this paper, a new method for modeling and verification of reputation-based trust systems using Colored Petri Nets is presented which is called TCPN. The proposed method results in proper models for simulation and verification using existing tools. A case study is also presented to illustrate the concepts and usages of TCPN.

Keywords:

Trust; Modeling; Verification; Colored Petri Nets; TCPN