Trusted Recovery Based on Security Compromises Analysis in Secure Operating System
安全操作系统中基于安全性损害分析的可信恢复

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.