存储系统的层次性与进程数据存储模型

计算机系统的各种存储部件,包括寄存器、cache、内存、外存,被组织成一个层次性的存储结构,传统操作系统分别在内存和外存这两个层次上为用户构造了两种数据存储模型：进程逻辑空间和文件。应该在存储层次最外层--外存直接为用户构造进程数据存储模型--文件,把全部内存作为进程访问外存的缓冲,取消了进程逻辑空间的概念,实现指令对文件的直接寻址,使进程直接在文件上运行,基于以上思想,提出了一个操作系统模型,介绍了该模型的结构及其一个实现原形,并对其性能进行了测试和评价,最后讨论了该操作系统具有的优点及其存在的问题。     

自动生成GEF图形编辑器的研究与实现

针对当前GEF编辑器开发难度大、开发周期长的问题，设计了一个能够自动生成GEF图形编辑器的MDA工具GEG的体系结构。它利用EMF的代码自动生成方法JET和JMerge，以及EMF.edit提供的适配器机制，生成了一个完整的基于Eclipse平台的图形编辑器插件。在系统设计和实现过程中，引入了配置元模型和视图元模型。     

GNU/Linux环境下的安全日志系统的构建

在现代网络化条件下,构建安全的日志系统对增强系统服务的可靠性具有非常实际的意义。文章分析了计算机安全对日志系统的主要需求,描述了在Gnu／Linux环境下构建安全日志系统的可靠方案及其实现。     

基于规则的安全策略定义语言

基于任务－角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并且有一定的时序表达功能。用户使用这种高层描述语言可在不同的系统中定义各种特定应用的安全策略。还给出了基于扩展的稳定模型的语义描述,定义了安全策略正确性的条件以及验证方法,并进一步讨论实现安全策略的有关问题。     

电子彩票“离线”方案

本文给出了一种基于比特承诺的电子彩票发行方案－无信任方参与的“离线”方案,此方案克服了已有方案对通信时间要求苛刻的缺陷,与现有结果相比,具有更好的公平性。     

开放分布系统中基于RBAC和策略实施的协调模型

本文提出了适用于开放分布系统的基于RBAC和策略实施的协调模型(RBPEC).RBPEC模型引入了协调组的概念,把需要进行交互才能完成整体任务的多个软件实体放在一个协调组中.RBPEC协调模型把协调和访问控制两者结合起来,引入基于角色的访问控制为协调系统作安全性检查,系统的协调策略可以在分布环境下实施.RBPEC协调模型具有安全和可扩展两大特点.     

软件国际化和本地化技术探讨

本文简单地分析了目前比较流行的软件本地化方法，探讨了软件国际化的一般方法以及由此引起的一些新问题，并提出了相应的解决办法。最后，本文还说明了在国际化基础上进行本地化应注意的一些事项     

引言

<正> UNIX是由Bell实验室发展起来的一个操作系统族,由于它使用方便,向用户提供了比较充分的各种服务,又由于它配备在得到广泛应用的PPP-11系列上,所以现已成为被广泛应用的一个分时操作系统。 UNIX的设计和实施清晰简洁,包括了一个现代分时操作系统所应包括的各个基本组成     

分布式系统中基于鉴别服务器的鉴别式通信

本文介绍分布式系统中鉴别服务器的基本概念及利用它实现实体间鉴别式通信(包括鉴别式交互通信、鉴别式单向通信和签名通信等)的基本原理与方法,针对私有密钥系统和公开密钥系统分别进行论述。     

两种通用、高速的进程通信机构-UNIX S-5共享数据段、消息机构评析

本文分析UNIX原通信机构的长处和不足,分析评述UNIX S-5共享数据存储及消息机构的基本设计思想、数据结构及有关算法。