42、应用安全策略的可信实现与执行

应用安全策略的可信实现与执行

1 引言

在当今数字化的时代，应用程序的安全至关重要。为了确保应用程序的安全性，需要实施有效的安全策略。本文将介绍一种名为 APPSPEAR 的安全架构，它为实施应用程序软件安全策略提供了一个功能框架。我们将探讨其设计原则、架构设计、实现方式以及对不同实现方案的评估。

2 设计原则

安全策略是系统可信计算基（TCB）的一部分。从功能角度来看，应用程序的 TCB 是实现应用程序安全属性所必需且足够的所有功能的集合。实现 TCB 的软件架构部分构成了安全架构。参考监视器原则为安全架构的设计和实现提供了基本准则，具体包括以下三条规则：
1. RM 1 - 全面调解 ：安全架构核心（参考监视器）必须参与任何与安全相关的交互，确保对对象的任何安全相关操作都不可避免地受到策略的控制。在操作系统中，通常通过在内核服务（如进程管理、文件系统或 I/O 子系统）中调用策略来实现。在应用程序层面，可以通过将策略执行和应用对象管理的功能与应用逻辑的功能分离来实现。
2. RM 2 - 防篡改 ：必须保护应用程序安全策略免受未经授权的操作。可以使用隔离机制来实现功能分离，隔离机制的范围从基于语言的隔离（如通过类型安全检查编译器分离类实例中的策略执行）到基于操作系统的隔离（如在单独的虚拟地址空间中执行策略）、虚拟化技术（如在虚拟机中执行策略）、基于硬件的隔离（如在可信执行环境中执行策略），甚至到完全的物理分离（如在专用服务器上执行策略）。
3. RM 3 - 可验证性 ：TCB 的规模和复杂性越小，就越容易对其正确性属性进行分析。