安全访问的轻量级完整性模型研究及实施*

对传统的完整性模型进行了分析,并对其完整性给予形式化描述.在此基础上,提出了轻量级的Clark-Wilson模型,并给出了其在安全增强操作系统SELinux中的实施.     

Gabaron茶加工过程中γ-氨基丁酸和谷氨酸的动态变化研究

采用高效液相色谱法（HPLC）分析了条叶中γ-氨培丁酸和符氨酸的含量，通过对Gabaron茶不同加工工艺所制样茶中二者含量的测定，分析了它们在Gabaron条加丁全过程中的动态变化规律。研究表明，炒青绿条和Gabaron茶中二者含量分别为0．12、2．72、1．70、1．18mg／g。真空充氮有利于γ-氮基丁酸的生物合成，3h真空充氮处理中y一氨基丁酸生物合成速率达0．33mg／h。连续长时问真空充氮方法不可取，因其后阶段谷氦酸供给不足，γ-氨基丁酸合成速率大为下降，仅0．08mg／h。除氮增氧过程对及时补充芥氨酸有利，使其含量由1．18mg/g上升至2．50mg／g，本研究认为最优的Gabaron茶加工工艺为：鲜叶→真空充氮（3h）→除氮增氧（2h）→真空充氮（3h）→炒青绿茶加工工艺。     

X window通信机制的研究

随着Linux系统从服务器延伸到桌面机的发展,图形化的界面对于用户变得日益重要。本文从窗口系统的体系结构入手,重点研究了X window的组成三要素:客户程序、X服务器和X协议,并进一步研究了客户程序和X服务器遵循X协议进行通信的基本机制。     

Linux中实现进程隐藏的一种新方法

针对Linux下实现进程隐藏的已有方法存在进程信息隐藏不彻底、不灵活、系统效率不高的缺点,通过对Linux的proc文件系统进行分析和对用户访问进程信息的途径以及proc文件系统向用户输出进程信息的机制进行研究,提出一种新的实现进程隐藏的方法。该方法能够彻底、灵活地隐藏进程的信息,不但可以隐藏所有进程的信息,也可以有选择地隐藏指定进程的信息和隐藏指定进程的某一部分信息。具有较高效率。     

水口山伴生铀矿现状及矿山物探工作浅见

本文论述了水口山矿务局所属的柏坊铜矿、水口山铅锌矿伴生铀矿需要进行开采、保留时,如何灵活选用放射性物探工作方法及其达到的良好效果,提出了对康家湾伴生铀矿采取人工屏蔽防护措施的建议。     

基于规则集的访问控制研究

RSBAC是基于LINUX的安全框架,它由内核增强部分以及与最新内核版本相适应的相关补丁组成,实现了对计算机资源访问的控制,并且这种控制是细粒度的、灵活的。本文介绍了RSBAC中主体、客体和请求这三个基本概念,并研究了它的体系结构,在此基础上,进一步研究了RSBAC的设计与实现。     

X环境下连接一致性的研究

进程迁移是实现集群服务器的一项序进行进程迁移时,需要解决的主要问题是如何保持客户端和服务器之间连接的一致性.目前在这一领域关于连接一致性问题常见的处理方法,分别是采用持久连接模型、采用基于共享窗口系统的客户迁移机制和采用基于GUI的应用程序的迁移机制.一种新的方案利用替换套接字的方法,可以有效地解决由进程迁移而引起的连接一致性问题.     

Linux安全模块实现的研究

直到2.6内核的出现,Linux操作系统一直缺乏对安全机制融入内核的普遍支持,Linux安全模块(Linux Securiy Module)可以克服这个缺陷。对LSM的体系结构、安全域和钩子函数以及能力模块进行了研究,探讨了LSM如何作为一个基本框架将Linux内核与具体的安全模块相结合,从而提高Linux操作系统的安全性。