OpenID应用现状与发展

在现有单点登录解决方案的基础上，介绍了OpenID架构，涉及OpenID关键组件及层次标准。分析了OpenID当前的发展现状及其其存在的不足，并指出了未来的发展及研究方向。     

实现动态数据结构持久化的渐进式方法

包含递归关系的动态数据结构在软件开发中很常见,但是数据的动态性质给不同应用程序之间的数据共享带来困难。文章阐述了动态数据结构持久化的一种实现技术,利用数据存取局部性,根据程序运行时的实际需要以渐进方式完成持久化数据的恢复与转换。由于粒度选择适中且实现比较方便,这一技术具有一定实用价值。     

MPP环境下的数据分割和数据的局部化

针对在ＭＰＰ体系结构的基础上进行并行化编译的若干实例的研究,对在分离的存储器的结构上进行数据划分和相应数据（特别是数组）的局限化技术进行了初步的讨论和分析,提出了自己的看法和一些简单的技术和方法,这主要包括：（１）避免数据重组的数据划分;（２）数据的冗余划分;（３）多种捞代对数据划分的一致性要求;（４）数组的局部化算法及主要类型。     

上下文敏感的过程间指针分析

提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法已在 C程序分析工具 Agassiz系统中实现 ,实验数据说明这些方法是行之有效的 .     

非必要内存重用的COMMON变量的识别和处理

在Fortran程序中，公用块的使用有时是为了重复利用某一内存区域，这给数据划分和分布带来了不必要的麻烦，该文提出了数据生命期的概念，借鉴数组私有化中的相关技术，通过计算子程序公用块中数组的暴露集等方法，对非必要内存重用的COMMON变量进行识别和处理。     

主体完整性标记动态确定方案及其正确性证明

B iba模型的严格完整性策略能够保证数据的完整性,但是其静态实施可能降低系统的兼容性.在B iba模型严格完整性策略基础上提出了主体完整性标记动态确定方案.将主体完整性等级扩展为独立的读写区间,根据主体读写历史调整主体可读写的区间,在保护系统完整性的同时提高了系统的兼容性.给出了形式化证明,说明该方案是安全的.指出了现行改进方案中存在的安全隐患及导致该隐患的原因,通过对比分析说明动态确定方案能够消除该安全隐患.