对象式基于角色访问控制模型的规范化描述

访问控制在大型复杂的多用户分布式系统中是一个极其重要且错综复杂的部分.目前基于角色访问控制成为主流的安全机制,对象技术作为处理复杂性的有效方法.大型系统的设计亟需一个对象式的、规范化的访问控制模型,以支持系统安全性设计,使众多用户可安全高效地履行其职责.已有的访问控制模型多为非规范的非对象式的.本文采用统一建模语言UML建立一个基于角色访问控制的对象式规范化模型.该模型结构简洁,且提供具有一致性、可推理的约束规范,以支持大型复杂系统的访问控制设计.

基于视图的访问控制语言VPL及其应用

CORBA中间件的安全管理是一个烦琐而重要的工作。本文针对CORBA安全服务规范在安全管理方面的不足,介绍了一种新的访问控制管理语言,即视图策略语言(VPL),并用一个具体实例说明了VPL如何对访问控制策略进行静态和动态管理,体现了VPL在策略管理方面带来的好处。

基于RBAC的XML访问控制研究

目前XML技术的应用范围越来越广泛,XML文档中可能包含不同程度的敏感信息,需要受到访问控制策略的保护。基于角色访问控制(role-basedaccesscontrol,RBAC)是一种灵活、高效的访问控制方法。在RBAC96模型的基础上,提出一种扩展权限的角色访问控制模型(extendedpermissionrole-basedaccesscontrol,EPRBAC),并讨论了XML授权机制。XML的授权可以定义在模式、实例甚至元素和属性级别上,从而实现了对XML文档灵活、细粒度的访问控制。

基于XML的多类型数据客体访问控制

为解决安全标记与多类型数据客体绑定的灵活性、一致性不足以及强制访问控制实施粒度粗的问题,提出一种基于XML的多类型数据客体强制访问控制模型。使用XML格式统一表示异构数据客体,引入多级XML文档概念,实现数据客体与安全标记的绑定,在此基础上实施多类型数据客体强制访问控制。该模型基于XML格式,实现了数据客体与安全标记绑定的统一,解决了多级信息系统间异构数据访问控制难的问题,可以实施粒度更细的访问控制,提高了数据客体的利用率,降低了安全标记绑定的复杂度。

基于XACML的访问控制与RBAC限制

限制可以视为是基于角色的访问控制(RBAC)的主要动机。该文分析基于XML的访问控制规范语言(XACML)的RBAC框架并指出了该框架的缺点,通过提出的角色激活机构对该框架进行扩充,使得XACML支持RBAC模型中的职责分离和基数限制等限制。

Web Services的访问控制研究综述

随着Web Services的发展,它本身的安全问题已经成为制约其发展的关键因素。本文主要论述了Web Ser-vices的访问控制技术的研究现状及其问题。首先,从协议层次出发讨论了Web Services的访问控制技术的研究方法。然后分别介绍了XML文档和SOAP协议的访问控制技术,以及Web Services的相关访问控制规范。最后总结全文并提出了需要进一步研究的问题。

基于ASP模式网络化制造平台的访问控制的研究

ASP(应用服务提供商)模式是网络化制造的重要发展方向,而访问控制技术又是ASP平台提供应用服务时的重要保障。本文分析了ASP模式和基于角色访问控制的特点,结合一个实际项目的应用实例,初步探讨了网络化制造ASP模式下访问控制策略的关键技术和改进方向。

基于XML的生活饮用水水质卫生规范描述语言的设计与实现

介绍了基于XML的生活饮用水水质卫生规范标记语言DwqML的设计与实现。DwqML充分运用XML的可扩展性和半结构化数据描述能力,解决了饮用水卫生标准的结构描述复杂性问题,并且详细叙述了DwqML Schem a的设计过程。

基于XML规范的电子病历应用模型XBEPRAM的设计和建立

主要运用XML规范 ,提出了具有实际应用意义的电子病历应用模型 (XBEPRAM)。模型扩展了XML的平台无关性概念 ,强调应用系统的应用逻辑和实现的分离 ;利用XML构筑电子病历的数据结构 ,加强异构系统的集成性 ;根据XML应用的最新进展 ,提出了可操作XML扩充服务 (EXMLES)和非操作XML扩充服务 (UXMLES)的扩充服务概念及构筑扩充服务的四条基本原则 ,为模型实现基于XML组件的分布式应用模式构建了理论框架。

基于XML的大宗农产品中远期交易规范研究

为解决不同的大宗农产品中远期交易平台缺乏统一的数据规范、系统共享性与重用性弱的问题,探讨了面向中远期现货交易模式的大宗农产品电子商务数据规范问题,分析了电子交易平台的业务流程,研究了大宗农产品电子商务数据规范方案,并进行了基于XML数据交换技术的实例应用。应用结果表明,基于XML的数据规范适用于电子交易平台的数据共享、传输,使大宗农产品电子交易的数据交换更加便捷。

基于XML的濒危语言在线信息系统的设计与开发

本文以中国具有代表性的濒危语言仡佬语为实例,在田野调查所收集原始材料的基础上,通过切分、翻译、转写、标注、分析,构建多媒体语料数据库,开发综合语言信息处理系统,可实现在线浏览、语言增删、检索、分析及用户定制功能。系统采用用户层、数据层和后台服务三层结构,以标准化为设计导向,基于XML技术进行数据库的构建和处理。结果表明规范化不仅在实现技术上具有先进性,而且由于规范带来的通用性将使得系统更易扩展,更为实用。该系统的设计模型对其他不同濒危语言的数字化处理也有借鉴意义。

新型XML Schema书写规范探讨

提出了一种新型XMLSchema规范书写方式,该书写方式属于"面向对象方式",具有良好的"扩展性"。通过实例详细说明这种新型书写方式所具有的良好的"面向对象性"和"扩展性"。

XML及相关安全研究进展

在介绍了XML的基本知识的基础上,着重讨论了与之相关的安全技术,包括XML文档的加密、数字签字、访问控制以及XML密钥管理等。指出对XML安全领域的研究具有非常重要的意义。

X3D:新一代面向Web的交互式三维图形规范

当前虚拟现实造型语言(VRML)的国际标准存在严重问题,阻碍了面向Web的交互式三维图形技术的深入发展。为此,Web3D联盟提出了下一代面向Web的交互式三维图形规范X3D。X3D采用XML编码,以软构件技术为指导,定义了一个小型运行内核、一组API和多个扩展集,具有小型化、可扩展、与Web上的多种标准互操作和与多种媒体紧密集成等特性。本文主要介绍了X3D的产生背景、概念和组成,并在此基础上分析了X3D的关键技术和X3D浏览器的实现。

XML的函数依赖

为了表达引起数据冗余的XML函数依赖,研究了XML中存在的复杂的多种形式的函数依赖约束,提出了一种DTD的路径语言,对于导航和定位XML文档的内容具有较强的表达能力.提出了一套XML模式及文档的形式化描述方法,进而提出了一种XML函数依赖(XFD)的定义.与以前的XML函数依赖的定义进行比较,展示了XFD可以表达更多的XML上存在的函数依赖,可以概括以前的基于路径表达式定义的XML函数依赖的约束能力.

地理标记语言GML

全面介绍了地理标记语言GML的内容、所涉及的技术、现状及发展前景。

基于XML的WEB安全模型

分析了应用程序的编程模型,结合XML的技术特点,在WEB 3层应用模型的基础上,建立了基于XML的WEB应用模型.并对该模型进行了安全性分析,提出了基于XML技术特点的安全解决方案.在该方案中应用SSL实现安全的数据传输、应用XML数字签名和加密实现安全的数据表示以及应用安全的XML访问控制机制.最后概述了分布式环境下数据访问的通用安全模型的基本思想.

具有冲突约束的RBAC模型的形式化规范与证明

在实际应用"基于角色的访问控制"(RBAC)模型时,经常遇到由于责任分离等策略而引起的冲突问题,如权限间的互斥等.访问控制操作应满足某些约束条件,以避免冲突的存在.但这些冲突关系相当复杂,如何检测出冲突问题是模型安全实施的重要保证.借助Z语言,提出了基于状态的RBAC形式化模型,对状态转换函数进行了形式化规范,描述了操作的具体内容和应满足的冲突约束条件.根据安全不变量给出了安全性定理,分别进行数学的和形式化的证明.最后,通过实例分析,说明在实际系统中,如何形式化规约和验证RBAC系统并检测出冲突问题,从而为今后使用RBAC模型开发具有高安全保证的系统提供了一种形式化规范和证明方法.

电子商务中产品信息描述规范化问题

分析了电子商务中产品目录瓶颈问题,即产品信息描述标准化的问题。提出了相应的解决方案———通用产品目录。它是依赖于新兴的XML(可扩展标记语言,eXtensibleMarkupLanguage)技术实现的。