在国产操作系统场景中，望安科技可围绕访问控制、进程隔离、系统调用、内核边界、安全状态机、TEE 隔离边界、微内核通信机制等核心机制，开展形式化规格定义、模型建立、安全性质提炼、验证实施、问题分析、整改建议和…...
L3 是在 L2 基础上升级的最高安全等级控制域，也是 A2000 “3L” 架构的核心亮点 ——通过硬件级硬隔离设计，搭配温度监控、外部独立看门狗等多重监控措施，让其在逻辑层面的独立性完全比肩传统外置 …...
监控易依靠全栈自主研发且安全可控的一体化运维监控解决方案，为该保密单位构建了符合保密要求的智能化运维管理体系，实现运维安全与效率的双重提升。 平台可稳定运行，这一情况得到了单位从上到下的高度认可，它有安全可控…...
《密态计算白皮书（1.0.2版）》由蚂蚁密算编制，联合多所高校及企业共同参与，聚焦数据要素“外循环”场景下的隐私保护计算需求，系统阐述了密态计算的技术体系、核心优势、应用场景及落地实践，为数据安全可信流通提供…...
