Title :
Lessons Learned from Building a High-Assurance Crypto Gateway
Author :
Weissman, Clark ; Levin, Timothy E.
Abstract :
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.
Keywords :
computer network security; cryptography; internetworking; complex secure system; high-assurance crypto gateway; insecure components; secure components; Protection mechanisms; access controls; formal methods; operating systems; security and privacy protection; software architectures; software engineering;
Journal_Title :
Security & Privacy, IEEE
DOI :
10.1109/MSP.2010.201
