基于可信主体的高可信数据库系统结构设计

分析了基于可信主体的DBMS高可信安全体系的设计方法,通过一个基于角色机制的DBMS体系结构设计实例,探讨了在高可信的要求下DBMS的存取控制、体系、TCB和事务处理的设计,最后给出了该DBMS设计中存在的问题及下一步的工作。     

对象行为等价的终结共代数语义

数据库安全功能独立性测试是评估者使用代表性测试用例在被测数据库管理系统(DBMS)上执行,并将DBMS内部数据修改和系统输出同预期结果作比较,完成DBMS安全功能实现的评估。给出一种DBMS安全测试自动化模型及基于STAF/STAX开源框架的实现方法。最后以安全审计组件的实现为例,在Oracle和国产DBMS上给出了其用例测试及实验方法,证明了该框架的可用性。     

DBMS动态资源自调优系统的设计与实现

在数据库管理系统中,DBMS资源的利用率对系统的影响是很大的。对基于反馈回路的自调优模型的基础上设计与实现DBMS资源自调优工具进行了研究。该工具能够根据资源利用情况,自动找到适合提高系统运行效率的DBMS资源配置参数。给出了实现该系统时用到的诊断树、资源关系模型和资源调整规划算法。     

可信计算机系统评测准则对基于可信主体DBMS体系结构设计的影响

分析了《可信计算机系统评测准则》对基于可信主体DBMS体系结构设计的影响,通过一个基于角色机制的DBMS体系结构设计实例,探讨了不同评测标准对该DBMS的存取控制、体系、TCB和事务处理结构的影响,最后给出了该DBMS的总体设计。     

基于AOP和Web服务的多层分布式系统

把面向方面编程的思想引入到Web服务中,将其横切关注点(日志、事务、权限认证等)实现为方面服务,在系统执行时用编织器在SOAP消息层编织Web服务和方面服务来构建最终系统,并结合面向服务软件体系结构和J2EE的多层架构提出一个基于方面服务和Web服务的软件架构。给出一个应用该软件架构的实例。     

基于形式化监控的可信软件构造模型

传统的形式化方法和软件运行时监控都是提高软件可信性的有效途径,但存在监控需求表达能力不强及代码分散等问题。针对该问题,提出基于形式化监控的可信软件构造技术FM-TSPM,将形式化方法和运行时监控相结合,实现跨领域的方法融合。用形式化方法描述监控约束,根据监控约束生成方面监控代码,解决代码分散问题。采用AOP编织器将方面代码编织到目标系统中,构造出带监控能力的可信软件。     

一种基于日志的增量式编织机制

编织效率会严重影响面向方面编程的性能。针对上述情况,将按需编织和编织历史机制相结合,提出一种基于日志的增量式编织机制。使用索引日志、编织历史日志和系统日志3种日志文件,通过改变方面存储结构,定量描述方面状态,计算方面状态改变量,由此实现效率更高的增量式编织。     

Oracle空间关系处理能力扩充的研究与实现

针对传统GIS基于客户端的空间关系处理的不足，文章提出了将空间关系处理放在数据库管理系统（DBMS）中实现的解决方案，并扩充了Oracle的空间关系处理能力。文章首先分析和研究了在DBMS中实现空间关系处理必须具备的条件；然后，对Oracle提供的基于对象机制的空间关系处理解决方案——Oracle Spatial进行了深入的分析和研究；考虑到目前的GIS系统大多采用Oracle RDBMS来存储管理空间数据，文章最后重点研究了如何利用Oracle的扩展机制在传统的Oracle RDBMS中实现空间关系处理，并给出了具体实现。     

高安全级别可信数据库系统的自主访问控制机制设计中若干问题及其解决方法

该文在分析TCSEC对DBMS的DAC机制的要求的基础上,分析了DBMS的DAC的策略机制,讨论了将DAC机制包含在TCB中的实现实例,重点分析了高安全级别可信DBMS的DAC设计中的关键问题并给出了几种实现高可靠性DAC的几种方法。     

高安全级别可信数据库系统的自主访问控制机制设计中若干问题及其解决方案

该文在分析TCSEC对DBMS的DAC机制的要求的基础上,分析了DBMS的DAC的策略机制,讨论了将DAC机制包含在TCB中的实现实例,重点分析了高安全级别可信DBMS的DAC设计中的关键问题并给出了几种实现高可靠性 DAC的几种方法.     

Active并发控制——分布事务管理的目标统一

本文综述了当前分布式数据库（DDB）并发控制研究状况。提出了一种比较接近真实的DDBMS参考模型，在此基础上对典型的分布并发控制策略作出正确的集成，最后给出了Active并发控制的实现方案。     

Comprehensive aspect weaving for Java

Aspect-oriented programming (AOP) has been successfully applied to application code thanks to techniques such as Java bytecode instrumentation. Unfortunately, with existing AOP frameworks for Java such as AspectJ, aspects cannot be woven into the standard Java class library. This restriction is particularly unfortunate for aspects that would benefit from comprehensive aspect weaving with complete method coverage, such as profiling or debugging aspects. In this article we present MAJOR, a new tool for comprehensive aspect weaving, which ensures that aspects are woven into all classes loaded in a Java Virtual Machine, including those in the standard Java class library. MAJOR includes the pluggable module CARAJillo, which supports efficient access to a complete and customizable calling context representation. We validate our approach with three case studies. Firstly, we weave existing profiling aspects with MAJOR which otherwise would generate incomplete profiles. Secondly, we introduce an aspect for memory leak detection that also benefits from comprehensive weaving. Thirdly, we present an aspect subsuming the functionality of ReCrash, an existing tool based on low-level bytecode instrumentation techniques that generates unit tests to reproduce program failures. Our aspect-based tools are concisely implemented in a few lines of code, and leverage MAJOR and CARAJillo for comprehensive aspect weaving and for efficient access to calling context information.     

对象关系数据库管理系统体系结构的研究

In last years, with the Object-Oriented Programming popular and the field of database application extend-ed,many DBMS manufacturers integrate the object model into traditional Relational Database Management Systems (RDBMSs)one after another ,in order to meet the needs for complex engineering applications. This paper firstly givesa total remark on the reason for the prevalence of the Object-Relational Database Systems (ORDBMs)and on the ben-efit of ORDBMSs comparing with RDBMSs and Object Oriented Database Management Systems(OODBMSs) ,then in-troduces an approach for ORDBMS architecture which integrates the Java class library into ORDBMS metadata repos-itory.     

体系结构层状态型方面的建模和编织——基于LTS的方法

状态型方面是一种封装反应式关注点的方面,它需要专门的切点机制来跟踪系统的执行历史.然而当前在体系结构层还缺乏支持状态型方面建模的有效机制.针对这一问题,提出一种体系结构层状态型方面的建模和编织方法.它以标记转换系统(Labelled Transition System,LTS)为底层形式化,建立了用于识别系统运行轨迹中...     

关于AOP实现机制和应用的研究

AOP(Aspect-Oriented Programming)是一种支持横切关注的分解的技术，表达更高的抽象层次。它对于横切关注点就像面向对象程序设计对于对象封装和继承一样，提供了能够明确捕获横切结构的语言机制。一个模块化良好的横切关注点叫一个侧面(aspect)。首先介绍了AOP的基本思想，然后针对侧面代码和功能代码的编织问题讨论了几种典型的AOP实现机制的特点，优势及缺陷，最后展望了AOP的应用和发展方向，为进一步研究提供参考。     

一种数据库加密及密钥管理方法

数据庠中敏感数据的防窃取和防篡改问题是信息安全的一个重要方面，在数据库管理系统（DBMS）中加入安全特性已迫在眉睫。提出一种方法，对DBMS实现进行修改，在不影响DBMS功能的情况下使其支持数据库加密，并且对DBMS性能的影响也很小。给出了一个与之相关的密钥管理体系结构，使得密钥的管理既安全又高效。最后，在TPC—H数据集上对数据库加密后的性能进行了评估。     

基于类修改和反射的动态方面编织模型

方面编织是系统关注点编织的实现部分,其优劣关系着面向方面软件系统的执行效率、编织粒度、模块化程度。依据方面化构件组装以及按需计算中间件平台需求,提出一种动态方面编织模型——DAWeaver,该模型利用BCEL修改类文件,通过方面容器反射调用方面组件,支持了编织的动态性。最后,给出该模型的原型系统,并对已编织系统作了性能分析。     

多媒体数据库（MHbase）中的特殊图象技术

在ＤＢＭＳ中引入多媒体处理能力是目前的一个研究热点。本文介绍了我们在历史性数据库（Ｈｂａｄｅ）的多媒体化过程中，在图象技术方面进行的一系列探索及特殊的图象技术。     

Aspects of availability: Enforcing timed properties to prevent denial of service

We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the allocation of resources. In our language, aspects can be seen as formal timed properties on execution traces. Programs and aspects are specified as timed automata and the weaving process as an automata product. The benefit of this formal approach is two-fold: the user keeps the semantic impact of weaving under control and (s)he can use a model-checker to optimize the woven program and verify availability properties. This article presents the main approach (programs, aspects, weaving) formally using timed safety automata. The specification of resources, optimizations and verification are sketched in a more intuitive fashion. Even if a concrete implementation remains as future work, we address some high-level implementation issues and illustrate the approach by small examples and a case study.