验证安全——A类要求安全机制可靠且足以支持严格的安全策略,提供严密的数学证明。部分数据库管理系统产品提供B1级强制访问控制和C2级自主访问控制。支持强制访问控制的数据库管理系统被称为多级安全系统或可信系统。