Lessons Learned from Building a High-Assurance Crypto Gateway

IEEE Security & Privacy, pp. 31-39, 2011The article of record as published may be located at http://doi.ieeecomputersociety.org/10.1109/MSP.2010.20