Harmony OS(鸿蒙操作系统)的微内核设计使用形式验证方法(formal verification methods)在可信执行环境(TEE,Trusted Execution Environment)中从头开始重塑安全性和可信赖性。形式验证方法是从源头验证系统正确性的有效数学方法,而传统验证方法(例如功能验证和黑客攻击模拟)仅限于有限的场景。相反,形式验证方法(formal verification methods)可以使用数据模型来验证所有软件运行路径的安全性。
匿名回答于2021-10-03 03:12:25
匿名回答于2021-10-05 17:41:20