基于Petri网的安全工作流管理系统模型  

Security Workflow Management Model Based On Petri Net

作　　者：钟忺[1] 周成龙[2] 

机构地区：[1]武汉大学计算机学院,湖北武汉430072 [2]武汉理工大学计算机科学与技术学院,湖北武汉430070

出　　处：《武汉理工大学学报（信息与管理工程版）》2006年第11期81-83,共3页Journal of Wuhan University of Technology：Information & Management Engineering

基　　金：教育部高校行动计划资助项目(2004DX-03)

摘　　要：访问控制是信息系统的一个重要安全保护机制,主体只有在被授权时才能对客体进行访问。应用有色时间Petri网对安全工作流模型进行了描述,并结合读/写安全策略对动态授权机制进行了应用分析。应用基于有色时间Petri网的工作流模型可以降低数据误用的危险性。Access cont role is an important protection mechanism for information systems. The subjects can access the objects only when they are authorized. The security workflow model with the colored and timed Petri net is described, and the dynamic authorizing mechanism with read/write security strategy is analyzed. The workflow model based on colored and timed Petri net can lower the hazard of data misuse.

关 键 词：访问控制 工作流 有色时间Petri网 

分 类 号：TN913.24[电子电信—通信与信息系统]