Problem
Security analysis is an essential part of creating a trusted system, especially for high-assurance enforcement of security policy.
a) What is one significant value of having the security analysis done with respect to a commonly used, technically sound standard (or criteria)?
b) Name one example of such standard for high assurance.