The latest generation OrbitSecure software module re-written in the memory safe programming language Rust has been successfully demonstrated aboard the International Space Station (ISS) with protocol design formally proven via the Alloy specification language. This demonstrates key modern cybersecurity requirements called for by the White House Office o…
Keep reading with a 7-day free trial
Subscribe to The Journal of Space Commerce to keep reading this post and get 7 days of free access to the full post archives.