SpiderOak 和 Axiom Space 在国际空间站上展示了新的支持 Rust 的 OrbitSecure 平台

零信任太空网络安全解决方案的领导者SpiderOak很高兴地宣布，我们成功演示了下一代 OrbitSecure 软件模块，该模块用内存安全编程语言 Rust 重写，协议设计通过国际空间站 (ISS) 上的 Alloy 规范语言正式验证。这体现了白宫国家网络总监办公室在去年 2 月发布的一份报告中呼吁的关键现代网络安全要求。SpiderOak 是首批在载人空间站上成功演示正式验证和 Rust 支持的安全功能的商业软件公司之一。

OrbitSecure 是 SpiderOak 的零信任纯软件解决方案，旨在在极端边缘环境中运行，例如在传统云服务边界之外的断开连接、低带宽、不安全的网络条件下保护空间信息流。

SpiderOak 与我们的战略合作伙伴 Axiom Space 合作，后者是领先的载人航天商业服务提供商和全球首个商业空间站的建造者，于7 月 1 日进行了验证测试，证明了 Rust 的有效性并正式验证了 Rust 在轨道上启用的数据安全功能。此次最新测试是在 2023 年与 Axiom Space 合作在国际空间站成功演示 OrbitSecure之后不到一年进行的。

拜登总统的国家网络安全战略已将 Rust 等内存安全编程语言确定为创建设计安全的软件系统的关键安全基石。据估计，内存安全漏洞是使用内存不安全语言编写的代码中高达70% 的安全问题的根源，有证据表明，当大型代码库迁移到内存安全语言时，内存安全漏洞几乎被消除。Rust 是一种现代的内存安全系统，具有非常适合航天控制系统需求的运行时和性能特性。

除了 Rust，OrbitSecure 还采用了以 Alloy 规范语言编写的正式协议验证，以提供更大的保证，确保 OrbitSecure 的协议在整个网络上完全按照设计执行，从而消除整个类别的漏洞。

SpiderOak 首席执行官Dave Pearah表示：“这次成功的演示使 SpiderOak 站在了即将到来的网络安全产品和服务浪潮的最前沿，这些产品和服务将为蓬勃发展的太空经济提供支撑。我们很高兴能够在国际空间站成功演示我们的下一代内存安全 OrbitSecure 软件，并且我们的安全理念与我们国家领导层对 21 世纪太空网络安全的看法一致。 ”

“SpiderOak 是一家公司努力将网络安全责任从用户转移到开发者身上的一个很好的例子。当我们与白宫讨论他们增加开发者使用内存安全编程语言的计划时，我们想不出比将其送入轨道更好的测试了，”埃森哲量子和太空安全主管汤姆·帕特森 (Tom Patterson)表示。“在 2023 年投资SpiderOak 之后，我们继续合作，使用关键的安全设计原则，为我们的客户将网络发射到太空。”

这种下一代网络安全设计和保证曾经是复杂服务参与或定制软件的唯一领域，现在可以通过商用软件包向大众市场提供。

关于 SpiderOak

SpiderOak 是一家全资美国公司，为民用、军用和商用太空业务提供端到端网络安全和弹性解决方案。我们的商用产品建立在零信任加密、临时加密密钥和分布式账本技术的基础上，可确保您在太空领域最敏感数据的机密性、完整性和可用性。如需了解有关 SpiderOak 产品、服务或业务发展机会的更多信息，请访问 ( http://www.spideroak.com )。