/
← Accept All   週ごとのアーカイブ
Amazon ScienceResearch

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

6月10日

Splitting the “separation kernel” off from the rest of the Nitro security system and using only a subset of the Rust programming language to code it enabled its formal verification.

Amazon Scienceで読む ↗

関連する記事

Amazon Scienceの他の記事