Trust Modeling and Verification Using Colored Petri Nets
محل انتشار: هشتمین کنفرانس انجمن رمز ایران
سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 1,809
فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCC08_044
تاریخ نمایه سازی: 11 مهر 1390
چکیده مقاله:
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.
کلیدواژه ها:
نویسندگان
Amir Jalaly Bidgoly
Department of Computer Engineering University of IsfahanIsfahan, Iran
Behrouz Tork Ladani
Department of Computer Engineering University of IsfahanIsfahan, Iran