Extended usage control strategy model based on colored Petri net design

Computer Engineering and Applications ›› 2012, Vol. 48 ›› Issue (33): 96-100.

Previous Articles Next Articles

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

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

李沛武1，雷金娥2

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

Abstract

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）

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

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

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，雷金娥2. 有色Petri网的扩展使用控制策略模型设计[J]. 计算机工程与应用, 2012, 48(33): 96-100.

[1]	DONG Jian, DAI Shenghua. Modeling and formal analysis of level transition based on colored Petri nets [J]. Computer Engineering and Applications, 2018, 54(2): 208-213.
[2]	WANG Ruifeng1, LI Yuan1, CHENG Jinshan2. Analysis on level transition scenario modeling based on CPN [J]. Computer Engineering and Applications, 2015, 51(10): 266-270.
[3]	ZHENG Wenyan. Performance simulation of uncertainty inventory based on colored petri nets [J]. Computer Engineering and Applications, 2014, 50(22): 250-255.
[4]	WANG Changda1，2, DONG Xuegang1, ZHOU Conghua1，2. Security analysis of E-bank online-payment based on UCON [J]. Computer Engineering and Applications, 2014, 50(16): 90-94.
[5]	YE Chunxiao1, YU Yifeng1, YU Longlong2. Permission-based delegation model for Usage Control [J]. Computer Engineering and Applications, 2014, 50(13): 77-81.
[6]	LIU Yonglei1，2, JIN Zhigang3. Security analysis of WPS in WLAN [J]. Computer Engineering and Applications, 2013, 49(21): 87-89.
[7]	HAN Zhaochao，HUANG Shucai. Modeling of union ATBM system based on colored Petri nets [J]. Computer Engineering and Applications, 2011, 47(6): 235-238.
[8]	YANG Bei，WU Zhenqiang，YANG Xiaobo. Multi-level security model based on trusted computing [J]. Computer Engineering and Applications, 2011, 47(27): 122-125.
[9]	DUAN Zhi-peng，HE Hong-jun，LUO Li，FANG Zhi-he，WANG Yang. Access control model based on reputation in P2P environment [J]. Computer Engineering and Applications, 2010, 46(33): 78-81.
[10]	ZHONG Yong^1,2,GUO Wei-gang¹,LIN Dong-mei¹,ZHONG Chang-lei¹. Research of payment model applied on digital content usage control [J]. Computer Engineering and Applications, 2009, 45(17): 73-79.
[11]	LI Pei-wu. Authorization specification of usage control with Petri net [J]. Computer Engineering and Applications, 2008, 44(2): 60-62.
[12]	,,,. Improved Algorithm of Slide Window Protocol for SUNA [J]. Computer Engineering and Applications, 2007, 43(2期): 145-145.
[13]	HU Zhao-wei¹，JIN Rui-fang²，YU Wan-jun¹，YANG Bo³. Survey on attribute mutability of usage control [J]. Computer Engineering and Applications, 2007, 43(25): 66-68.

Extended usage control strategy model based on colored Petri net design

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 13

Recommended Articles

Metrics