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

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