白皮书

我们于 2021 年 9 月 16 日举行的网络研讨会由悉尼新南威尔士大学 seL4 基金会主席兼科学教授 Gernot Heiser 和 鉴释CEO兼联合创始人梁宇宁共同参与。

研讨会着重讨论了seL4 微内核：物理系统安全工程实践。 第三代微内核旨在为高度安全和可靠的系统提供基础，适用于满足诸如通用标准及更高标准的安全要求。