作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2008, Vol. 34 ›› Issue (3): 196-198. doi: 10.3969/j.issn.1000-3428.2008.03.069

• 安全技术 • 上一篇    下一篇

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

李沛武   

  1. (南昌工程学院科研处,南昌 330029)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-02-05 发布日期:2008-02-05

Petri Net Description of Usage Control Authorization Model

LI Pei-wu   

  1. (Scientific Research Administration, Nanchang Institute of Technology, Nanchang 330029)
  • Received:1900-01-01 Revised:1900-01-01 Online:2008-02-05 Published:2008-02-05

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

关键词: 使用控制, Petri网, 授权策略, 控制规则

Abstract: Usage control is one of the next generation technologies that protect the digital resources. Petri net can specify distributions, concurrencies and synchronizations of usage control and is the effective technology for describing and analyzing usage control model. This paper defines the rules of pre-usage authorization and ongoing-usage authorization in usage control model and expresses them with Petri nets. And a conclusion is drawn that the representations succeed in describing the policies of usage authorization. UCONA is expressed with colored Petri net.

Key words: usage control, Petri net, authorization policies, control rules

中图分类号: