一个基于RTBAC的Petri网工作流模型

• 作者: 张安钰 杨义在 王蕾 谢晓尧
• 来源期刊: 贵州科学
• 学科: 工学
• 关键词: Petri网 RTBAC 建模
• 年，卷（期）: 2008,（3）
• 页码范围: 20-23,37
• 页数: 5页
• 分类号: TP309.2
• 字数: 2187字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6563.2008.03.005

摘要

以传统Petri网理论为基础进行形式化描述其控制流.并结合基于角色任务的访问控制(RT-BAC),通过扩展了时间特性以及颜色特性的Petri网进行更准确、形象的描述其工作流授权模型.该模型实现了访问控制授权流与工作流的同步,满足了公文审批业务工作流"面向任务"的访问控制要求;引入时间概念,使访问控制的授权约束与时间有关,从而满足审批业务工作流中任务的时效性要求,该模型还包含了其它安全约束如SOD(职责分离)以及角色层次关系结构等概念.最后,对所建模型进行了正确性验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢晓尧	贵州大学电子科学与信息技术学院	101	352	9.0	12.0
7	王蕾	贵州大学电子科学与信息技术学院	6	5	1.0	2.0
14	杨义在	贵州大学电子科学与信息技术学院	2	1	1.0	1.0
18	张安钰	贵州大学电子科学与信息技术学院	2	1	1.0	1.0