CO-DESIGN OF A SECURITY TAGGED ARCHITECTURE AND ZERIO KERNEL OPERATING SYSTEM

$356,361FY2010Department of the NavyDOD

Massachusetts Institute Of Technology, Cambridge MA

Investigators