%0 Journal Article
%T Validation of access control policies of workflow management system based on model checking<br>基于模型检测的工作流访问控制策略验证*
%A CHEN Yan
%A TANG Cheng-hu
%A WU Dan
%A <br>陈妍
%A 唐成华
%A 吴丹
%J 计算机应用研究
%D 2010
%I 
%X The validity of access control policies seriously affects the safe and stable operation of the workflow management system. To deal with this problem, this paper presented a validation method of access control policies of the workflow management system based on the model checking. On the basis of the establishment of the access control policy model and the task permission state of the subjects of the workflow management system the effectiveness of policies were validated. The experiments show that the algorithm is effective and rational, and provides a new solution to validate the access control polices.
%K workflow
%K access control policies
%K policy validation
%K model checking<br>工作流
%K 访问控制策略
%K 策略验证
%K 模型检测
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=DC3DCDB30AB9406063A33DB3D8D326F5&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=0B39A22176CE99FB&sid=15F713CDE16A589C&eid=A7379F6713A46835&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=8