基于安全微内核、底层芯片隔离与形式化验证技术，为Linux/Android等通用操作系统及上层应用提供可信及安全服务。
V-Trust 是基于Nebula“云核”打造的满足市场需求的产品，以Nebula安全微内核为底层基础，增加市场需求等方面的重要功能。
T-Hyper嵌入式虚拟化平台，基于Nebula微内核OS构建；针对主流嵌入式SoC方案提供了丰富的底层技术支撑和安全机制。
基于V-Trust和T-Hyper方案构建的高强度可信安全中间件架构
基于芯片不同权限级别，构建TEE + Hypervisor全面隔离体系，有效防止ROP等多种黑客攻击
是彻底解决复杂系统设计与实现安全的技术手段分为规约层、设计层、实现层
