Lessons Learned from Building a High-Assurance Crypto Gateway
Clark Weissman, Timothy E. Levin · IEEE Security & Privacy · 2010
The construction of a complex secure system composed from both secure and insecure components presents a variety of challenges to the designer. The example system described here highlights some lessons learned from first-hand experience in attempting such a task.