宋明秋

个人信息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.