安全OS中加密文件系统与可信恢复问题研究

来源 :中国科学院软件研究所 | 被引量 : 2次 | 上传用户:djseagle
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机和通信技术的发展,信息安全技术越来越重要,而操作系统安全是计算机安全的必要条件。加密文件系统和可信恢复是保障计算机安全,增强操作系统安全性的两项关键性技术,本文集中对这两项技术做了较为深入的研究。研究工作主要表现在以下方面: 第一,分析了加密文件系统对安全操作系统的重要意义,在对传统加密文件系统进行分析和研究的基础上,根据Linux系统中绕回设备的工作原理,提出一种新型的加密文件系统的设计与实现方案,克服了传统加密文件系统数据保护不完全、性能低下等缺点。 第二,阐述了可信恢复对高等级安全操作系统研制的意义,分析了可信恢复设计中的一些关键问题,对现有的各种恢复技术做了分析和总结,调研了典型操作系统的恢复机制,并在此基础上提出一种可信恢复机制的设计方案,提出了事务性文件系统的构想。 本文的研究成果对我国高等级安全操作系统的研究提供了技术和经验,为高等级安全操作系统的研制工作奠定了基础。
其他文献
近年来,Internet上垃圾邮件问题日益严重。其治理和解决需要从立法、组织和技术三个方面综合共同努力,彻底解决垃圾邮件的影响和危害。作者从治理垃圾邮件的技术层面出发,在
随着信息时代的到来,如何及时精确地抽取和组织无序的海量信息以实现方便的查询,已经成为研究的焦点。特别是当Internet迅速发展的时候,网络信息挖掘已经变得日益重要。而汉语自
射频识别技术RFID(Radio Frequency Identification)是自动识别技术的一种,它通过无线射频方式进行非接触双向数据通信对目标加以识别。RFID中间件是RFID技术的重要组成部分,
本文的研究工作包含两个部分:第一,对Web服务组合的正确性进行了验证,提出了基于BPEL的Web服务组合形式化分析模型和自动测试框架;第二,对Web服务的安全性进行了形式化分析,
随着互联网应用的深入,网络蠕虫对计算机系统安全和网络安全的威胁日益增加。特别是在网络环境下,多样化的传播途径和复杂的应用环境使网络蠕虫的发生频率增高,潜伏性变强,覆
机器学习需要有标记数据来训练模型进行预测,有标记数据的获取通常需要人工参与,因此价格非常昂贵。在很多实际应用中,未标记数据可以较为容易地大量获取,如何利用廉价的未标