...．红皮书安全准则定义了4个级别：A、B、C、DB．A1级是最高安全级，表明系统提供了最全面的安全，又称为验证设计(Verified Design)C．B3级又称安全域(Security Domain)，要求用户工作站或终端通过可信任途径连接到网络系统D．C2级又..
基于154个网页-相关网页
... 系列化设计 series (design) 验证化设计 verified design 优化设计 design optimization; optimal design; optimization design; optimum deisgn ...
基于1个网页-相关网页
semiformally verified design and tested 半形式化验证的设计和测试
应用推荐