有色Petri网的扩展使用控制策略模型设计

• 作者: 李沛武 雷金娥
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 使用控制 形式化分析 有色Petri网 扩展使用控制策略模型
• 年，卷（期）: 2012,（33）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 96-100
• 页数: 5页
• 分类号: TP301.2
• 字数: 4359字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1206-0362

摘要

为解决目前UCON模型和策略规范存在系统应用功能与安全策略集成性差、缺少事后义务和无并发性控制问题,通过定义行为、安全和并发规则,提出了一种扩展的使用控制策略,采用有色Petri网技术,达到形式化定义、分析的目的,为将来的研究工作提供基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李沛武	南昌工程学院科研处	26	133	5.0	10.0
2	雷金娥	南昌工程学院信息工程学院	13	31	4.0	5.0