Security Analysis of GTRBAC Models Using Colored Timed Petri Nets
This paper applies Colored Timed Petri net to the specification of GTRBAC model. Compared with RBAC, GTRBAC considers temporal constraints and hence achieves high flexibility. However, as the complexity increases, more mistakes appear and some constraints may be conflict with each other. In this paper, we proposed a new way to specify and analyze GTRBAC policies with Colored Timed Petri net. Our purpose is to use the Petri net theory to analyze the model and find the conflicts exist in the GTRBAC policy. CPN-Tool is used to give a graphical representation.
RBAC TRBAC GTRBAC Colored Petri nets CPN-Tools security formal verification
Guoli Zhao Hejiao Huang
Harbin Institute of Technology Shenzhen Graduate School Shenzhen, China
国际会议
成都
英文
1014-1018
2010-12-17（万方平台首次上网日期，不代表论文的发表时间）