例如,可信软件理论与方法元级框架的提出,实现了从传统正确性向开放、动态、多变环境下的软件可信性跨越;标准化科学化的可信计算环境构造与评估体系的建立,实现了从部分环节可信计算向全栈化可信计算跨越;软件过程和制品的可信性度量体系的建立,实现了从分散的可信侧面度量向系统化度量跨越;网络软件监控与演化的一体化设计体系的提出,实现了从静态补丁式演化向动态模型驱动体系结构的跨越。 ...
双体系架构从系统底层到上层实施可信链传递,构建了以密码为基础,芯片固件为信任根,主板为平台,软件为核心,网络为纽带,应用见成效等安全可信的技术体系框架,并制订发布了国家系列标准(见图2)。...
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号