cryptographic community, with the exception of NSA and possibly some of NSA’s counterparts in other
countries.
218 Morrie Gasser, Building a Secure Computer System (New York, NY: Van Nostrand Reinhold, 1988).
Software Security Assurance State-of-the-Art Report (SOAR) 219