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

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (33): 96-100.

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

李沛武1，雷金娥2

1.南昌工程学院科研处，南昌 330029
2.南昌工程学院信息工程学院，南昌 330029

出版日期:2012-11-21 发布日期:2012-11-20

Extended usage control strategy model based on colored Petri net design

LI Peiwu1, LEI Jin’e2

1.Department of Scientific Research, Nanchang Institute of Technology, Nanchang 330029, China
2.School of Information Engineering, Nanchang Institute of Technology, Nanchang 330029, China

Online:2012-11-21 Published:2012-11-20

摘要/Abstract

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

关键词: 使用控制, 形式化分析, 有色Petri网, 扩展使用控制策略模型

Abstract: In order to resolve these drawbacks such as poor integration between functional behavior and security policy, lack of post-obligation and concurrency control, an extended usage control policy by definite behavior, safety and concurrency rules is proposed which aims at realizing formal definition, analyses and providing a basis for future research work by colored Petri nets.

Key words: usage control, formal analyze, colored Petri nets, Extended Usage Control Strategy Model（EUCSM）

李沛武1，雷金娥2. 有色Petri网的扩展使用控制策略模型设计[J]. 计算机工程与应用, 2012, 48(33): 96-100.

LI Peiwu1, LEI Jin’e2. Extended usage control strategy model based on colored Petri net design[J]. Computer Engineering and Applications, 2012, 48(33): 96-100.

[1]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[2]	李茜1，王峥1，马建芬1，李娜2. 轻量级移动支付协议公平性分析[J]. 计算机工程与应用, 2018, 54(19): 82-87.
[3]	马远佳1，刘道微2. 一种改进的满足后向安全的RFID双向认证协议[J]. 计算机工程与应用, 2017, 53(9): 136-140.
[4]	秦嫚蔓，王峥，王莉. 基于SPIN的远程证明协议的形式化分析及改进[J]. 计算机工程与应用, 2017, 53(1): 34-38.
[5]	秦发园1，戴胜华1，徐昱2. 进路建立过程的时间有色petri网建模与仿真[J]. 计算机工程与应用, 2015, 51(8): 266-270.
[6]	杨诚1，项勇1，张立刚2，刘泽平1. 基于DoDAF和Petri网的预警作战体系研究[J]. 计算机工程与应用, 2015, 51(5): 44-49.
[7]	余磊1，魏仕民1，卓泽朋2. 认证测试中协议主体串参数一致性研究[J]. 计算机工程与应用, 2015, 51(13): 86-91.
[8]	王瑞峰1，李媛1，程金山2. 基于CPN的等级转换场景建模分析[J]. 计算机工程与应用, 2015, 51(10): 266-270.
[9]	王昌达1，2，董雪刚1，周从华1，2. 基于UCON的网络银行在线支付及其安全性分析[J]. 计算机工程与应用, 2014, 50(16): 90-94.
[10]	叶春晓1，余一丰1，余龙龙2. 一种基于权限的使用控制委托模型[J]. 计算机工程与应用, 2014, 50(13): 77-81.
[11]	余磊，魏仕民. 协议主体密钥在测试组件构造上的性质分析[J]. 计算机工程与应用, 2013, 49(6): 114-117.
[12]	刘永磊1，2，金志刚3. 无线局域网WPS安全性分析[J]. 计算机工程与应用, 2013, 49(21): 87-89.
[13]	郑文艳. 基于CPN的物流配送系统模型正确性的证明[J]. 计算机工程与应用, 2013, 49(11): 228-231.
[14]	范玉涛1，苏桂平2. 一种适于带时间戳安全协议的形式化分析方法[J]. 计算机工程与应用, 2012, 48(36): 116-120.
[15]	杨蓓，吴振强，杨小勃. 基于可信计算的多级安全模型[J]. 计算机工程与应用, 2011, 47(27): 122-125.