使用控制策略的Petri网描述

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (2): 60-62.

使用控制策略的Petri网描述

李沛武

南昌工程学院科研处，南昌 330029

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-01-11 发布日期:2008-01-11
通讯作者: 李沛武

Authorization specification of usage control with Petri net

LI Pei-wu

Nanchang Institute of Technology，Nanchang 330029，China

Received:1900-01-01 Revised:1900-01-01 Online:2008-01-11 Published:2008-01-11
Contact: LI Pei-wu

摘要/Abstract

摘要： 使用控制是最有希望的下一代数字资源使用保护技术，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 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.

Key words: usage control, Petri net, access policies, soundness, completeness

李沛武. 使用控制策略的Petri网描述[J]. 计算机工程与应用, 2008, 44(2): 60-62.

LI Pei-wu. Authorization specification of usage control with Petri net[J]. Computer Engineering and Applications, 2008, 44(2): 60-62.

[1]	倪明，钱思源，杨善林. 废旧智能手机回收再利用业务流程仿真与优化[J]. 计算机工程与应用, 2021, 57(5): 258-263.
[2]	朱智燊，凌捷，林鹏. 基于隐蔽信道的工控系统数据完整性校验方法[J]. 计算机工程与应用, 2020, 56(9): 125-130.
[3]	陆文星，王琥珀，王彬有. 基于赋时Petri网的景区游客分流研究[J]. 计算机工程与应用, 2020, 56(8): 241-248.
[4]	刘丽伟1，孙践知1，谭励1，杨斌2. 关于IMC/IMV的网络设备可信认证方法研究[J]. 计算机工程与应用, 2019, 55(9): 79-86.
[5]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[6]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[7]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[8]	袁颖，朱洪亮，陈玉玲，欧阳智，辛阳，杨义先. 基于数据持有性证明的完整性验证技术综述[J]. 计算机工程与应用, 2019, 55(18): 1-7.
[9]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[10]	曹蕊，方贤文，王丽丽. 基于拟间接依赖的流程挖掘优化分析[J]. 计算机工程与应用, 2018, 54(9): 37-41.
[11]	李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.
[12]	王田琪，庞晓琼，任孟琦. 支持错误定位的远程数据完整性批量验证方案[J]. 计算机工程与应用, 2018, 54(4): 90-97.
[13]	任孟琦，庞晓琼，王田琪，聂梦飞. 多云存储中保护隐私的数据完整性验证方案[J]. 计算机工程与应用, 2018, 54(22): 60-66.
[14]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[15]	张晶，王亮，范洪博. CPS系统物理实体时空一致性建模与分析[J]. 计算机工程与应用, 2018, 54(14): 41-44.