LBAC is an implementation of Mandatory Access Control (MAC), which provides a reasonable level of security assurance for sensitive data stored in database.
LBAC是MandatoryAccessControl (MAC)的一个实现，它为存储在数据库中的敏感数据提供了较高级别的安全保障。
As an important component of high-level secure operating systems, the privilege control mechanism can provide an appropriate level of security assurance for the system.
特权控制机制是高安全等级操作系统中一个重要的组成部分，它能够提供系统恰当的安全保证级。
The security model is the cornerstone for developing the security operating system, while the formal method provides high level assurance for the understanding of the security model accurately.
安全模型是安全系统开发的基石，而形式化方法则为准确理解安全模型提供了高保障依据。
The security model is the cornerstone for developing the security operating system, while the formal method provides high level assurance for the understanding of the security model accurately.
安全模型是安全系统开发的基石，而形式化方法则为准确理解安全模型提供了高保障依据。
应用推荐