摘要：访问控制是信息系统中一个重要的安全保护机制,访问控制矩阵确定主体对客体的访问权限.本文将角色的概念加入进来,讨论了基于角色的工作流状态的动态访问控制,并对其模型进行了形式化描述和分析.最后,我们给出了一个工作流网的实例来说明这种控制机制既可以降低未授权访问和数据误用的风险,又可以为工作流管理系统的权限管理提供一定的保证.

关键词：动态访问控制 角色 工作流 工作流网 

单位：华中科技大学计算机科学与技术学院，湖北武汉430074