Wave Systems Corp. (fka WAVXQ)

[svenm]

Barge, It sounds to me as if the cadets intend to develop their own kernel: We will develop a high assurance, embedded micro-kernel, and trusted application, as a reference
implementation exemplar for trusted computing. The primary security function of the Embedded
MicroKernel will be to enforce process and data-domain separation, while providing primitive
operating system services sufficient to support simple applications.
They have licensed ETS and TecSec software in order to accomplish interoperability with the common access card. But, I assume they want their own kernel for their proprietary domain?

Svenm