will consistently demonstrate one or more desirable properties.
These include such properties as quality, reliability, correctness,
dependability, usability, interoperability, safety, fault tolerance,
and—of most interest for purposes of this document—security.