Verifying a Separation Kernel for a Cryptographic Device: A Status Report Download pdf Presented as part of the 2002 HCSS conference. Tags: Naval Research Laboratory Presentation HCSS '02 HCSS 2002 License: CC-2.5 Submitted by Anonymous on Tue, 09/13/2011 - 16:45
