Skip to main navigation Skip to search Skip to main content

A Formal Methods-Based Common Criteria Certification Framework for a Separation Kernal

Project: Research

Project Details

StatusFinished
Effective start/end date02/17/10 → 08/31/11

Funding

  • L3Harris Technologies Incorporated: $119,423.98