【摘 要】
：
随着网络技术的迅猛发展,全球网络化已成为大势所趋,网络技术正日益广泛地被应用到社会的各个领域中,深刻地改变着人们的生活和习惯.但是人们在得益于信息革命所带来的新的巨
论文部分内容阅读
随着网络技术的迅猛发展,全球网络化已成为大势所趋,网络技术正日益广泛地被应用到社会的各个领域中,深刻地改变着人们的生活和习惯.但是人们在得益于信息革命所带来的新的巨大机遇的同时,也不得不面对信息安全问题的严峻考验.为此,为际标准化组织ISO在其网络安全体系的设计标准(ISO7498-2)中,定义了五大安全服务功能:身份认证服务、访问控制服务、数据保密服务、数据完整性服务、不可否认服务.作为五大服务之一的访问控制服务,在网络安全体系结构中具有不可替代的作用.现代信息系统已转向分布计算环境和移动计算环境.特别是Web服务的出现,标志着真正的Web大协作的时代即将来临.Web服务是一种崭新的分布式计算模型,传统的应用于集中控制系统的访问控制模型已不满足新的安全需求.基于逻辑的访问控制模型能很好地运用于分布式环境.该文首先简要介绍了访问控制的研究背景、发展现状及相关技术.然后详细探讨了基于逻辑的访问控制模型,并在此基础上,针对现有模型的不足,提出了基于时态逻辑的访问控制模型,并实现了一个安全引擎.我们将安全引擎应用于对Web服务进行访问控制,对其性能进行了详细的测试和分析.我们认为,安全引擎的实现,达到了安全、自动、通用、可移植、基于角色、灵活等预期目标.文中最后总结了我们所做的工作和对未来工作的期望.该文提出的模型对其他应用资源也适用.
其他文献
为了融合自主导航技术和LBS技术的优点,该文的目标是——设计实现基于地图的LBS.因而,在分析各种导航技术和LBS技术的现状和问题的基础上,该文设计了一种基于轻量空间数据的
本论文即以基于COMGIS的江苏省环境地质信息系统的实现为例,详细介绍了基于COMGIS的专题信息系统的理论和技术背景、设计思路、实现方法和过程.具体内容包括:论文首先介绍了G
工作流建模及模型分析技术已经成为工作流技术的一个重要研究方向.该文在分析了现有基于Petri网的工作流模型WF-net的基础上,通过对层次工作流模型的研究,围绕着如何正确、有
随着国内"金卡工程"各类项目的开展,IC卡技术日益普及到国民经济的各个领域,成为科技人员瞩目的焦点.同时非接触式IC卡技术的完善,加速了"金卡工程"的进程,由于具有磁卡和接
现代软件的开发过程中，体系结构设计越来越得到重视。软件体系结构不仅指导软件开发的各个过程，也能作用于开发后的软件生命周期阶段，尤其是降低软件维护与演化的高难度与高成本
随着云计算和大数据时代到来，存储系统的高可靠性和海量数据的高效存储成为存储厂商追逐的目标。鉴于单控存储系统在出现故障时会出现数据丢失、服务中断的问题，双控存储系统已
随着信息化社会的到来,数字化校园建设是高等学校发展的必然趋势,是高校建设的重要部分,是一项基础性、长期性和经常性的工作,其建设水平是高校整体办学水平、学校形象和地位
随着中国保险行业的发展，原有的保险行业信息平台已不能满足保险行业现代化运作的需要，更没有形成一个完整行业软件架构。保险行业应用软件，特别是核心业务系统一直处于各个公司
模型驱动架构(MDA)是由OMG新近推出的一个软件开发框架。MDA基于一个众所周知、并长期建立的思想，它把系统的业务功能模型和具体的平台实现模型分开，从而使得系统的业务功能从
本文主要介绍了面向对象建模技术、UML,以及在统一过程的指导下,使用Rose工具组织UML的各种视图,并结合安全管理信息系统,着重讨论了UML标准建模语言在软件开发活动中系统分