Trust Modeling and Verification Using Colored Petri Nets
Publish place: 08th Iranian Security Community Conference
Publish Year: 1390
نوع سند: مقاله کنفرانسی
زبان: English
View: 1,859
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCC08_044
تاریخ نمایه سازی: 11 مهر 1390
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:
Authors
Amir Jalaly Bidgoly
Department of Computer Engineering University of IsfahanIsfahan, Iran
Behrouz Tork Ladani
Department of Computer Engineering University of IsfahanIsfahan, Iran