What does HA stand for?

According to Anders Eggen, Project Manager, FFI, "For some military scenarios high assurance systems are required, and products conforming to the MILS architecture are promising platforms on which to implement critical security functions.

9780769534824 High assurance systems engineering; proceedings.

Worldwide Computer Products News-9 February 2009-Nexor introduces two new high assurance guards(C)1995-2009 M2 COMMUNICATIONS LTD http://www.

9780769530437 High assurance systems engineering; proceedings.

This aims to drive the use of high assurance programming techniques and tools by a larger percentage of the overall software development community.

0769523773 High assurance systems engineering; proceedings.

03 (SKPP); * Direct support for high-assurance customer applications in partitions, such as guards and downgraders, using the High Assurance Environment, including a simple separation kernel interface and secure inter-partition communication (SIPC); * VxWorks Guest Operating System in partitions, enabling direct porting of existing VxWorks applications; * Wind River industry-specific networking technology stacks including IPv4, UDP, and TCP; * An extensive offering of targeted drivers and partner middleware; and * Wind River Workbench, the leading Eclipse-based development suite.

The first CIO Blog entry discusses high assurance engineering, and explains the concept of PHASE (Principles of High Assurance Security Engineering).