Encryption device that complies with the National Security Agency's High Assurance Internet Protocol Interoperability Specification