Paul A. Karger, Suzanne McIntosh, Elaine R. Palmer, David C. Toll, Samuel Weber. Lessons Learned: Building the Caernarvon High-Assurance Operating System. IEEE Security & Privacy, 9(1):22-30, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.