Modeling and Verification of Dynamic Management of Cooperative Permission Based on Colored Petri Nets

Focusing on assurance of activity based dynamic assignment and retrieve of cooperative permission in multi user environment,and its reliability verification,an activity-role based mechanism of cooperative permission dynamic management is proposed in this paper,and CPNs based modeling and analyzing issues are also provided.In this model,the shared cooperative document and view space are divided according to the sequence of interdependent activities,and the cooperative activities are associated with the assignment and retrieve of role,therefore,the problem of authorized users with persistent permissions to specific object in traditional access control is solved.In the final,state space based analysis shows that constraint conditions such as dependencies between activities,reachability of activity-role binding,and deadlock prevention in applying for cooperative permission can be verified,and the requirements of frequent change of cooperative permission are satisfied in the access control of cooperative design system.