Trust modeling and verification using Colored Petri Nets

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.

[1]  Jianwei Niu,et al.  Apply Model Checking to Security Analysis in Trust Management , 2007, 2007 IEEE 23rd International Conference on Data Engineering Workshop.

[2]  Joan Feigenbaum,et al.  Decentralized trust management , 1996, Proceedings 1996 IEEE Symposium on Security and Privacy.

[3]  Seungjoon Lee,et al.  Cooperative peer groups in NICE , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[4]  Audun Jøsang,et al.  A survey of trust and reputation systems for online service provision , 2007, Decis. Support Syst..

[5]  Lars Rasmusson,et al.  Simulated social control for secure Internet commerce , 1996, NSPW '96.

[6]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[7]  Stephen Hailes,et al.  A distributed trust model , 1998, NSPW '97.

[8]  Pierre-Yves Schobbens,et al.  Model-Checking Access Control Policies , 2004, ISC.

[9]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[10]  Lea Kutvonen,et al.  Trust Management Survey , 2005, iTrust.

[11]  Athman Bouguettaya,et al.  Reputation Bootstrapping for Trust Establishment among Web Services , 2009, IEEE Internet Computing.

[12]  David M. Nicol,et al.  A Formal-Semantics-Based Calculus of Trust , 2010, IEEE Internet Computing.

[13]  Chen Chen,et al.  A Scalable and Effective Trust-Based Framework for Vehicular Ad-Hoc Networks , 2010, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

[14]  Huafeng Wu,et al.  A Trust Management Model for P2P File Sharing System , 2008, 2008 International Conference on Multimedia and Ubiquitous Engineering (mue 2008).

[15]  Torsten Eymann,et al.  A Framework for Trust and Reputation in Grid Environments , 2008, Journal of Grid Computing.