网络安全
基础设施

部署前的兼容性保障。部署后的运行时策略执行。面向现代系统的可验证安全基础设施。

从发布到运行时的安全

BPFCompat 在用户实际运行的内核上测试已编译的 eBPF 工件和真实加载器,把兼容性假设转化为可执行证据,从而强化部署前的安全保障。

AegisBPF 通过内核级策略执行、限定范围的策略控制和结构化安全事件覆盖运行时侧。Linux 和 eBPF 是技术层;Kernel Guard 在此基础上构建更广泛、可验证的网络安全基础设施。

SECURITY // 公开证据

安全证据,而不是表面指标

与已交付的安全工程和公开 upstream 工作直接相关的证据。

2

已合并的 upstream 集成

BPFCompat 兼容性流水线已合并到 Falco 和 Inspektor Gadget。

QEMU/KVM

真实内核验证

一次性 QEMU/KVM 虚拟机运行真实厂商内核,而不是依赖静态版本推断。

x86_64 + ARM64

架构覆盖

兼容性验证覆盖 x86_64 和 ARM64。

SLSA

供应链证据

带标签的发布包含签名、CycloneDX SBOM 和 SLSA provenance。

Falco + Inspektor Gadget 已合并到 upstream
Real vendor kernels 兼容性执行
Signed · SBOM · provenance 发布证据

页面中点名的生态项目表示集成关系,并不表示客户关系。

安全工程技术栈

支撑兼容性保障、运行时策略执行和网络安全基础设施的系统技术。

Linux
eBPF
libbpf
Go
C++
QEMU/KVM
Kubernetes
CO-RE
BPF LSM
GitHub Actions
Linux
eBPF
libbpf
Go
C++
QEMU/KVM
Kubernetes
CO-RE
BPF LSM
GitHub Actions

工程原则

证据优先
优先采用真实内核上的测量行为,而不是版本推断。
Runtime Truth
尽可能接近软件真实执行环境进行验证和 enforcement。
开放技术审查
核心工具、限制和工程证据保持可独立审查。

公开开发

Kernel Guard 的 Linux 和 eBPF 核心工具在 GitHub 上公开开发,上游集成和技术证据均可审查。

GitHub