摘要：把操作系统中为计算平台的可信性提供支持的元素的集合定义为操作系统信任基(TBOS),建立了TBOS的设计思想,提出了TBOS的体系结构,重点诠释了TBOS体系结构中的基本信任基、可信基准库、控制机制、度量机制、判定机制和支撑机制等关键成分的核心思想、TBOS的隔离与交互能力以及动态扩展特性,同时讨论了TBOS实现中涉及到的关键问题。

摘要：UNIX已经成为世界上最流行的操作系统,并被推荐作为操作系统的标准,它的移植具有重要的现实意义.I/O子系统的移植是操作系统移植的一个重要组成部分.本文从系统结构、程序设计、子系统的嵌入及系统调试等方面介绍将UNIX SVR 3.1 I/O子系统从3B2微机移植到VAX机器的实现方法.

摘要：对安全政策灵活性的支持是现代安全操作系统追求的重要目标,安全政策格为安全政策灵活性的研究提供了一个很好的手段。本文通过分析DTOS项目的研究成果讨论安全政策格的基本思想,介绍DTOS项目中设计的一个安全政策格,并针对该安全政策格中存在的问题给出一个修正结果。

摘要：随着云计算、大数据、物联网和人工智能等新兴信息技术在我国油气行业的深度应用,石油天然气工业信息化建设正在迈入数字化转型和智能化发展的新征程。油气勘探开发信息的数据共享和交换,是我国油气行业实现数字化转型、智能化发展的重要先决条件。为了解决各分散应用系统之间难以进行油气勘探开发数据共享应用的问题,应用云计算技术开展了天然气地质数据的动态存储与共享集成应用研究。研究结果表明:①从数据集成应用管理的角度,设计了基于云计算技术的结构化数据集成应用接口,实现了天然气地质结构化数据的标准化动态共享管理;②应用OpenStack Swift实现了对天然气地质非结构化数据的分布式动态存储,构建了基于文档特征词抽取的非结构化数据快速检索方法,实现了对非结构化数据的搜索应用;③通过采用数据挖掘方法的参数“设置指南”和“方法库字典”构建方式,实现了天然气地质数据挖掘方法的集成应用;④应用云计算技术,对天然气地质信息共享平台的应用功能和数据架构进行详细设计,并对其采用Spring Boot技术实现了软件开发。结论认为,较之于传统信息应用系统,基于动态存储的天然气地质信息共享平台的构建,实现了结构化数据的集成共享、非结构化数据的动态存储和综合数据的分析应用,具有较好的推广价值和应用前景。

摘要：针对传统信息安全试验平台在抗破坏性、可定制性、可扩展性和可重现性等方面存在的不足,提出了一个支持按需构造的信息安全试验平台RuVisen的设计思想,并讨论其实现方法。RuVisen借助虚拟机和虚拟网络技术,通过软件方法,在物理环境之上按需重构试验环境,为信息安全试验环境的研究和开发提供了一种有效的方法。

摘要：网络空间的安全性属于涌现属性,该属性给网络空间安全带来了严峻的挑战.国内外已有不少研究者关注网络空间安全的涌现现象,迄今已取得不少成果.然而,人们对网络空间安全涌现性的认识还非常不足.针对这一状况,从涌现性的视角对网络空间安全挑战进行全面考察,旨在促进网络空间安全新思想、新理论的发展.首先,从系统科学中的涌现性的本意出发,揭示网络空间安全涌现性的基本思想;其次,从攻击、漏洞和防御3个角度,考察网络空间中存在的涌现式安全挑战;然后,按描述性、指导性和操作性3种类型,分析网络空间安全涌现性研究的发展状况;最后,从基础理论、基本模型和实用工具3个方面,讨论开展未来工作的基本途径.

摘要：［１］一文介绍流机制的内部结构设计，给出了流的静态面貌。本文在该文的基础上，从动态运行的角度介绍流的实现原理。

摘要：提出一种用TPM实现可信Hash树的方法.Hash树具有保护少量信息即可度量大量数据的性质,而TPM为保护Hash树的少量信息提供了基础.在TPM和访问TPM的进程不被攻击的前提下,基于TPM的完整性度量机制,可以保证Hash树的可信.本文称这种基于TPM实现的Hash树为T_Hash树.以T_Hash树为基础,针对完整性度量请求集中于待度量数据某个局部的应用场景,我们设计了TF_Hash树和TFC_Hash树.分析证明:这三种Hash树能够发现对它们的非法篡改行为,是可信的Hash树.实验表明:在特定的应用环境,TF_Hash树有比T_Hash树更好的效率,而TFC_Hash树的性能较TF_Hash树也有进一步的提升.

摘要：本文提出一种利用可信计算技术增强文件系统可信性的方法,以Linux为基础,设计实现了一个可信文件系统原型CIVFS。CIVFS是一个结合加密和完整性校验两种保护措施的文件系统,它借助堆式文件系统技术,嵌入在Linux内核中,添加了文件加密和完整性校验模块,利用TPM芯片提供的可信计算和安全存储等功能,增强了对系统安全组件和数据的安全保护。

摘要：ＴＣＰ／ＩＰ是广泛使用的网络互联协议。ＵＮＩＸ系统的ＴＣＰ／ＩＰ软件是在流的基础上实现的。流机制的主要思想是为字符处理、网络服务和数据通讯等驱动程序的设计提供模块化的手段。本文和［１］文全面介绍流的设计思想和实现机理，旨在为同行们在接触象ＴＣＰ／ＩＰ这类基于流的软件时提供一些参考。本文主要介绍流的内部设计。