DocumentCode
1405083
Title
Lessons Learned from Building a High-Assurance Crypto Gateway
Author
Weissman, Clark ; Levin, Timothy E.
Volume
9
Issue
1
fYear
2011
Firstpage
31
Lastpage
39
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;
fLanguage
English
Journal_Title
Security & Privacy, IEEE
Publisher
ieee
ISSN
1540-7993
Type
jour
DOI
10.1109/MSP.2010.201
Filename
5669248
Link To Document