【名词&注释】
安全策略(security policy)、可用性、真实性(authenticity)、灵活性(flexibility)、形式化(formal)、完整性(integrity)、指令系统(instruction system)、计算机信息系统(computer information system)、操作码(operation code)、可信计算基(trusted computing base)
[判断题]安全标记保护级的计算机信息系统(computer information system)可信计算基(trusted computing base)具有系统审计保护级的所有功能。此外,还需提供有关安全策略模型、数据标记以及主体对客体强制访问控制的非形式化描述;具有准确地标记输出信息的能力;消除通过测试发现的任何错误。()