基于Petri网的动态访问控制模型

摘要

访问控制是保障信息系统安全的一种主要机制,通过限定主体对客体的访问权限,确保对信息资源访问的合法性,达到保证信息的机密性、完整性和可用性的目的.通常,这种机制主要通过静态的访问控制矩阵实现,不随信息系统处理的任务变换而调整.利用Petri网的基本原理,提出了一种适合于信息系统的访问控制模型,随着信息系统的状态变化动态授予访问控制权限,实现对信息系统资源安全的动态保护.