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

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

基于Petri网的科研项目管理工作流模型

Petri网是一个描述条件和任务之间关系的通用模型。结合科研项目管理这一个实例,建立一个基于Petri网的工作流模型。并利用模型化简法,验证了该模型的完整性。同时,基于该模型建立的科研项目管理系统也得到了应用。