本文主要以某工商局办公管理信息系统为例研究基于websocket协议的消息推送技术，提出一个内部消息推送的解决方案，减少对其他应用服务器的依赖，保证系统的安全。

首先对当前实时web应用的消息推送技术进行对比，在对比各自优缺点的同时找出导致这些确定的原因。其次研究websocket协议的规范及关键技术的实现。通过对实时通信技术的研究推出一个消息推送解决方案并实施应用在工商局办公信息管理系统。

......

本文以工商局数字化档案管理系统为例研究工作流环境下访问控制技术，提出一种能保证工作流系统在运行时的正确性和安全性访问机制，避免流程访问因为资源的限制而造成的死锁现象，对系统运行时占用资源优化，减轻系统在访问工作流时的运行负担。建立一个灵活而全面的访问控制模型,以保证工作流系统的安全,本文的主要研究内容可体现在以下几个方面：

1.对传统的基于工作流的访问控制技术进行深入的研究并分析其中的不足，指出访问控制工作流系统中重要性与研究的必要性。

2.针对当前工作流环境下访问控制技术的缺点与不足，借鉴基于和基于角色的静态授权与基于任务的动态授权的优点，构建一种适合梧州市工商局数字化档案管理系统的访问控制模型。

3.采用基于角色的任务的访问控制技术对系统进行分析和设计。

4.对已完成的功能模块进行调试和优化。

论文组织结构 

本文以工商局数字化档案管理系统为例研究工作流环境下访问控制技术，提出一种能保证工作流系统正确性和安全性访问机制，并在前人研究的基础上借鉴RBAC和TBAC等控制模型技术的优点，使用可视化流程制定建立一个灵活与安全的模型。本论文总共有五章，组织结构：

第一章，简述工商局数字化档案管理的背景，并介绍使用访问控制技术在工作流系统中的意义以及工作流与访问控制技术在国内外的研究现状。

第二章，全面介绍了工作流和访问控制技术的相关技术。

第三章，详细介绍了面向工作流环境基于任务与角色的访问控制模型。

第四章，将任务与角色的访问控制模型应用到梧州市工商局数字化档案管理系统中，详细介绍相关模块的设计与实现。

第五章，对系统的主要功能测试。

第六章，总结全文，指出进一步的研究工作与问题思考。

......

文件审批流程概述

在工商局数字化档案管理系统中主要存在发文和收文两个文件审批的流程，每个审批流程都要经过多个不同的审批过程。在发文流程主要是各个市县级工商局所单位中由单位所属人员向本单位下科室发某一处理文件，然后经过一系列的处理和对文件的承办后将文件归档到系统的文件库中。在发文流程中主要有文件起草、科室审核、科室会签、发文审核、文件排文号、印制初稿、下发文件、市局文件承办、文件归档等过程。而收文流程是工商局收到系统外部的文件然后由单位所属人员将文件信息录入系统后提交到系统然后经过一系列的处理和对文件的承办后将文件归档到系统的文件库中。流程中主要有收文登记、文件拟办理、收文审核、分管领导批示、文件交办、领导签阅文件、文件归档等过程。

下面主要对工商局的文件审批流程分析TRBAC模型在本系统中的应用。

1．收文流程

在工商局收到新的公文时候，由收文员将收到的文件的信息录入系统并提交。系统拟文员在接收到收文员提交过来的文件后对文件内容进行审核，如果文件有错则直接修改，并填写对文件的拟办意见，然后文件提交到办公室由办公室主任进行进一步的审核。办公室主任对文件内容审核无误后提交到分管领导办公室，由分管领导对文件批示。分管领导对提交过来的文件批示，同意后将......