It was evaluated by formal methods and achieved a B2 security rating under the DoD's Trusted Computer System Evaluation Criteria—the second highest rating ever achieved by an evaluated operating system.
To bylo ohodnoceno formálními metodami a dosáhlo hodnocení ochrany stupně B2 pod NSAovým Computer System Evaluation Criteria - druhé nejvyšší hodnocení vůbec, které kdy dosavadně ohodnocený operační systém získal.