Verification and Validation (IV&V) Center successfully used the SSAI to verify
the security properties of PatchLink’s Java-based UNIX agent. PatchLink is using
the findings of the NASA assessment to improve the security of the product.
6.1.11.1 Recent Research Results