安全操作系统中基于安全性损害分析的可信恢复  

Trusted Recovery Based on Security Compromises Analysis in Secure Operating System

作　　者：李松林[1] 袁春阳[1] 朱继峰[1] 淮晓永[1] 梁洪亮[1] 贺也平[1] 

机构地区：[1]中国科学院软件研究所,北京100080

出　　处：《计算机科学》2007年第2期264-266,273,共4页Computer Science

基　　金：科技部攻关项目;编号2005BA113A02;中国科学院研究生创新资金"安全操作系统中可信恢复的研究";发改委项目"安全系统软件产业化"资助

摘　　要：安全操作系统可能因为内部或外部的原因发生失效或中断,进而导致其安全性损害。本文首先描述了一个通用的安全模型,然后扩展此模型以描述安全操作系统中的安全性损害,并提出依据安全策略从安全审计日志中分析计算安全性损害的方法,最后给出了安全性损害相应的可信恢复算法。在消极的安全防御外,本文的研究主动保证安全操作系统的安全性,增强了安全操作系统的可靠性和可恢复性。Failures or discontinuities in secure operating systems may be inevitable because of internal or external reasons, and then security compromises. First, a common security model is given out in this paper. Then it is extended to in clude security compromises. And it is suggested to detect security compromises by analyzing security audit log. At last, trusted recovery algorithms is argued how to guarantee security in secure operating systems. Aparting from passire defenses, works in this paper guarantee security forwardly, and promote reliability and recoverability of secure operating systems.

关 键 词：安全性损害 可信恢复 机密性 完整性 安全操作系统 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]