【摘 要】
：
工作流管理系统越来越多的应用到电子商务与电子政务中,并已经取得了很好的应用。随着信息技术的不断发展,工作流系统变得越来越复杂,在满足应用需求的同时对其安全性有了更
论文部分内容阅读
工作流管理系统越来越多的应用到电子商务与电子政务中,并已经取得了很好的应用。随着信息技术的不断发展,工作流系统变得越来越复杂,在满足应用需求的同时对其安全性有了更高的要求,因而需要更好的安全模型应用于工作流系统,其安全模型中运用最典型的安全技术是访问控制技术。近年来,在工作流管理系统中安全访问控制技术得到广泛的研究,其中几种广泛应用的访问控制模型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网进行了约束定义。
其他文献
Internet/Intranet的飞速发展,给我们提供了一个高效、便捷的网络环境,使很多领域发生了翻天覆地的变化。面对日益激烈的全球化竞争,企业为了降低成本、缩短产品的设计周期和
CAD技术由于其简单快捷、存储方便等诸多优点使得它在众多领域的设计中有着不可替代的作用,它能够大大提高设计质量、缩短设计周期、共享设备资源和增强数据处理能力。但是它
无线传感器网络由大量具有通信与计算能力的传感器节点自组织构成,可用于实时监测、感知和采集目标对象的信息。随着近年来传感技术、无线通信技术和微机电系统技术的不断发
OLAP是共享多维信息的、针对特定问题的联机数据访问和分析的快速软件技术。本文首先研究了数据仓库的相关知识与技术,分析处理和传统的事务处理有着很多不同的地方,直接使用
随着企业信息网络化的发展,网络在企业日常工作中发挥着越来越重要的作用。网络化在方便信息传递和共享的同时,也给企业信息的安全性带来了隐患。传统的基于边界安全的安全技
P2P技术在过去几年内快速成为计算机行业关注的话题,P2P将网络应用的核心从中央服务器向网络边缘的终端设备扩散。但是P2P系统的开放性以及节点匿名性等特征导致了计算机病毒
信息技术的快速发展聚集了海量的网络数据。如何从海量数据中快速有效地获取信息正面临着巨大的挑战。在社会网络分析领域,链接预测作为网络结构研究的一个关键问题,不仅要考
随着数字化技术的发展,视频资源日益丰富,但是部分违规视频也掺杂其中,违规视频对社会造成了极大的危害,因此,对视频进行监测已经成为亟需解决的问题。视频监测的两个重要特
随着互联网的快速发展,海量的信息以各种方式出现,其中最主要的还是文本信息,因此文本自动分类成为了国内外研究的热点,现在已经出现了大量有效的分类方法,例如：Naive Bayes、
信息技术的蓬勃发展大大促进了人类社会的进步。网上信息交流、电子商务、办公自动化、自动控制技术等信息技术极大地减轻了人们的劳动强度，方便了人们的工作、学习和生活。因