地税网上报税系统Petri网建模及安全访问控制模型研究

摘要	第1-6页
Abstract	第6-11页
1 引言	第11-18页
·课题的提出	第12-15页
·论文研究内容	第15-16页
·论文的组织结构	第16-18页
2 PETRI网与工作流技术	第18-26页
·PETRI网概述	第18页
·工作流概述	第18-22页
·工作流与PETRI网的关系	第22-24页
·工作流管理系统功能	第24-25页
·本章小结	第25-26页
3 安全访问控制技术	第26-37页
·自主访问控制	第26-27页
·强制访问控制	第27-28页
·基于角色的访问控制	第28-32页
·基于任务的访问控制	第32-33页
·基于角色与任务的访问控制	第33-35页
·本章小结	第35-37页
4 基于PETRI网的网上报税系统建模与分析	第37-49页
·网上报税系统的业务流程建模	第37-40页
·网上报税系统的模型分析	第40-48页
·本章小节	第48-49页
5 基于组织与岗位的安全访问控制模型	第49-71页
·POBAC模型简述	第49-51页
·POBAC0模型	第51-55页
·POBAC1模型	第55-61页
·POBAC2模型	第61-69页
·POBAC3模型	第69页
·本章小结	第69-71页
6 总结与展望	第71-73页
·总结	第71-72页
·展望	第72-73页
参考文献	第73-77页
攻读硕士学位期间发表的论文	第77-78页
致谢	第78页