地税网上报税系统Petri网建模及安全访问控制模型研究-计算机软件与理论专业论文.docx

Research on Petri Net Modeling and Security Access Control Model under Pay Tax System by internet in Local Tax Bureau A Dissertation submitted in fulfillment of the requirements of the degree of MASTER OF PHILOSOPHY from Shandong University of Science and Technology by Wang Decai Supervisor: Associate Professor Xu Jianguo College of Information Science and Engineering April 2009 声 明 本人呈交给山东科技大学的这篇硕士学位论文，除了所列参考文献和所公 认的文献外，全部是本人在导师指导下的研究成果。该论文资料尚没有呈交于 其它任何学术机关作鉴定。 硕士生签名： 日 期： AFFIRMATION I declare that this dissertation, submitted in fulfillment of the requirements for the award of Master of Philosophy in Shandong University of Science and Technology, is wholly my own work unless referenced of acknowledge. The document has not been submitted for qualification at any other academic institute. Signature: Date: 山东科技大学硕士学位论文摘要 山东科技大学硕士学位论文 摘要 摘要 工作流管理系统越来越多的应用到电子商务与电子政务中，并已经取得了很好的应 用。随着信息技术的不断发展，工作流系统变得越来越复杂，在满足应用需求的同时对 其安全性有了更高的要求，因而需要更好的安全模型应用于工作流系统，其安全模型中 运用最典型的安全技术是访问控制技术。 近年来，在工作流管理系统中安全访问控制技术得到广泛的研究，其中几种广泛应 用的访问控制模型 RBAC(Role Based Access Control)、TBAC(Task Based Access Control)以及 TRBAC（Task and Role Based Access Control）。这些模型在一定的程度 上解决了角色授权和任务分配的控制问题。但是，随着系统复杂性增加，这几种模型并 不能满足大型分布式系统的需求。 本文的目的在地税系统建立一个安全、可靠的工作流管理系统。本文的主要工作实 是采用 Petri 网对该系统的部分业务模块——网上报税系统进行了建模分析，并利用 Petri 网的性质对其合理性、可达性等进行了静态与动态分析。 为更好地提高系统的安全性，本文构建了一种基于岗位与组织的安全访问控制模型 POBAC（Post and Organization Based Access Control），并对该模型进行了形式化描 述,在其约束模型中利用 Petri 网进行了约束定义。 关键字：Petri 网，访问控制，访问控制模型，工作流，电子政务 ABSTRACT Workflow management system is applied to more and more of the many e-commerce and e- government, and it has made a very good application. With the development of information technology, workflow systems become more complex, not only meet the application requirements but also have a higher request to its security, so need better security model applies in the work flow system, the typical safety technology is the access control technology in its security model. In recent years, the access control technolo