integrity and availability of the software used in its mission-critical,
high assurance, and trusted computing systems
u The DoD application development community’s increasing concern
about the dependability of DoD applications that, for the first time in