Verifying a Separation Kernel for a Cryptographic Device: A Status Report
Presented as part of the
2002 HCSS conference
.
License:
Creative Commons 2.5
Connie Heitmeyer
Other available formats:
Verifying a Separation Kernel for a Cryptographic Device: A Status Report
Switch to normal viewer
Switch to experimental viewer
