使用控制策略的Petri网描述

• 作者: 李沛武
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 使用控制 Petri网 访问策略 合理性 完整性
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 学术探讨
• 页码范围: 60-62
• 页数: 3页
• 分类号: TP309.2
• 字数: 4294字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.02.018

摘要

使用控制是最有希望的下一代数字资源使用保护技术,Petri网能够描述使用控制模型的分布、并发、同步等特征,是表达和研究使用控制模型的有效技术.定义了授权控制模型的访问策略,然后采用Petri网进行了表达,证明了Petri网表达授权访问策略的正确性,最后通过示例说明了Petri网表示的表达能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李沛武	南昌工程学院科研处	26	133	5.0	10.0