Verifying a Separation Kernel for a Cryptographic Device: A Status Report

pdf

Presented as part of the 2002 HCSS conference.

  • Naval Research Laboratory
  • Presentation
  • HCSS '02
  • HCSS 2002
Submitted by Anonymous on Tue, 09/13/2011 - 16:45