A Layered TCB Implementation versus the Hinke-Schaefer Approach.

Cristi Garvey, Thomas H. Hinke, Nancy R. Jensen, Jane Solomon, Amy Wu

Browse the full DBSEC paper archive.