designs. Formal methods are discussed in Sections 5.1.2, 5.2.3.2.5, and 5.3.4.1.
Systems engineers also typically rely on the National Institute of Standards and
Technology (NIST) Federal Information Processing Standard (FIPS) 140-1 and
FIPS 140-2 Cryptographic ModuleValidation Lists, [351] which list all commercial