应用安全机制研究

应用安全已成为等级保护中重要组成部分，文章首先分析应用安全概念和技术要素，然后通过引入应用安全域、系统状态和安全策略，对应用安全进行形式化描述和分析可为应用安全的深入研究提供参考。