all are designed to achieve a high level of security.
u High Assurance Development: Develop and apply techniques for building IT
components whose security properties are known with high confidence.
In December of that year, the Defense Science Board (DSB) Task Force