A级:可验证访问控制(Verified Protection),而其特点在于该等级的系统拥有正式的分析及数学式方法,可完全证明该系统的安全策略及安全规格的完整性与一致性;B级:强制访问控制...
基于28个网页-相关网页
可验证访问控制
Verifiable access control
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动