摘要：在研究工作流已有安全策略的基础上,提出了基于工作流任务实例变迁的动态访问控制模型,通过角色执行工作流任务实例,并结合工作流任务上下文内容确定任务实例所处的不同状态,动态地将任务权限传递给执行角色,用户通过角色分配自动拥有执行角色的访问权限,实现了对工作流的动态安全访问.同时,对模型的动态访问控制机制进行了形式化描述,并结合电力系统工作流给出了具体的动态访问控制设计.

关键词：工作流 多角色 任务实例变迁 动态访问控制 安全 

单位：电子科技大学计算机科学与工程学院; 四川省成都市; 610054; 成都理工大学信息工程学院; 四川省成都市; 610059