华为开发者大会余承东演讲全文: 鸿蒙OS比安卓更强(11)_8月9日

微内核，内核小，可以实现形式化验证，显著提高安全。过去只是用于航空和芯片设计，高安全、过可靠能力。今天把微内核形式化方法用在广泛的操作系统，因为微内核天然没有 ROOT，不需要 ROOT 权限，一旦获得 ROOT 权限，相当于拿了大门钥匙，可以进入每一个房间，我们把微内核每一层进行了线程调度，放入微内核。图形图像调用、文件管理、电源管理、内存管理可能都涉及安全，但是每个单独加锁，没有统一钥匙可以开所有房间门的钥匙，不可能拿到一个地方攻破所有地方，无需 ROOT 权限，外核服务相互隔离，提供性能级安全，把宏内核方式变成两层，微内核、外核，来实现过去宏内核系统，因此更加安全、更加高效，从源头提升了安全级别。

目前，操作系统往往只能达到 2 级，最多 3、4 级，我们鸿蒙 OS 应该可以达到 5+ 安全级别，恐怕是全球第一个，我们也会参与这样的测试，我们相信这是具备 5 和 5+ 最高级别安全能力的 OS。

鸿蒙微内核灵活部署，提供全场景、多样安全设备能力。这是我们一个巨大优势，全场景的 OS，分布式 OS，通过微内核提供安全。还有华为 LITE OS，非常轻量级，兼顾所有应用。同时华为方舟编译器，多终端 IDE 开发环境来支撑当前的鸿蒙 OS。