| 使用控制策略的Petri网描述 |
| |
| 引用本文： | 李沛武.使用控制策略的Petri网描述[J].计算机工程与应用,2008,44(2):60-62. |
| |
| 作者姓名： | 李沛武 |
| |
| 作者单位： | 南昌工程学院,科研处,南昌,330029 |
| |
| 基金项目： | 江西省自然科学基金
,
江西省教育厅科研项目 |
| |
| 摘 要： | 使用控制是最有希望的下一代数字资源使用保护技术，Petri网能够描述使用控制模型的分布、并发、同步等特征，是表达和研究使用控制模型的有效技术。定义了授权控制模型的访问策略，然后采用Petri网进行了表达，证明了Petri网表达授权访问策略的正确性，最后通过示例说明了Petri网表示的表达能力。
|
| 关 键 词： | 使用控制 Petri网 访问策略 合理性 完整性 |
| 文章编号： | 1002-8331（2008）02-0060-03 |
| 收稿时间： | 2007-08 |
| 修稿时间： | 2007年8月1日 |
Authorization specification of usage control with Petri net |
| |
| LI Pei-wu.Authorization specification of usage control with Petri net[J].Computer Engineering and Applications,2008,44(2):60-62. |
| |
| Authors: | LI Pei-wu |
| |
| Affiliation: | Nanchang Institute of Technology，Nanchang 330029，China |
| |
| 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 polices of authorization control model and expresses them in Petri nets.It is verified that the representations are soundness and completeness.At last,the author shows the flexibility and expressive capability of based-Petri UCONA by an example. |
| |
| Keywords: | usage control Petri net access policies soundness completeness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
