基于Petri网的工作流访问控制技术研究

摘要

访问控制是信息安全中的一种重要保护机制.访问控制矩阵规定了主体对客体的访问权限.传统的访问控制矩阵是静态的,本文描述了一种基于Petri网的工作流动态访问控制机制,它根据工作流的状态来确定主体对客体的访问权限.通过对比,动态访问控制机制使得访问控制权限更加细分,从而具有更高的安全性.