个人信息Personal Information
副教授
硕士生导师
主要任职:Associate Professor
其他任职:中国软件行业协会系统安全工程分会主任,国际注册信息安全专家CISSP,国际注册信息系统审计师CISA
性别:女
毕业院校:大连理工大学
学位:博士
所在单位:系统工程研究所
学科:管理科学与工程. 系统工程
办公地点:D526, Management Building,No.2 Linggong Road,Dalian China 116024
联系方式:songmq at dlut.edu.cn,
Specification of SA-RBAC policy based on Colored Petri Net
点击次数:
论文类型:会议论文
发表时间:2008-12-09
收录刊物:EI、Scopus
页面范围:207-210
摘要:Specification and verification of access control (AC) policies is a significant and challenging problem. Colored Petri Net (CPN) is a powerful modeling and analyzing tool having the advantages of intuitive visual framework with the rigor and precision of a semantics founded on category theory. In this paper, a concrete specification of SA-RBAC policy on CPN is described in detail for our improved RBAC model SA-RBAC (self-authentication RBAC). And all the states in the CPN model describing SA-RBAC policy can be proved to be consistent. © 2008 IEEE.