使用控制授权模型的Petri网描述

摘要：

使用控制是最有希望的下一代数字资源使用保护技术,Petri网能够描述使用控制模型的分布、并发、同步等特征,是表达和研究使用控制模型的有效技术.该文定义了使用前授权过程和使用中授权过程的策略规则,采用Petri网进行了表达,分析了Petri网模型能够表达授权控制模型的使用授权策略,给出了使用控制授权模型的有色Petri网表示.

关键词：使用控制、Petri网、授权策略、控制规则

所属期刊栏目：34

分类号：TP309.2(计算技术、计算机技术)

资助基金：江西省自然科学基金0511062;江西省教育厅科技计划基金赣教技字[2005]240

在线出版日期：2008-04-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：196-198