near-monopoly on research into extending software security concerns to the
development of high-assurance information systems and the application of
high-assurance system development approaches to the development of secure
software or execution environments. Typical projects of this type are underway at