error. Although presumably, DbC helps prevent hackers from exploiting
vulnerabilities, no research or case studies was found justifying this claim.
DHS’s CBK describes the use of DbC-like properties for dependability and
suggests SafSec. (See Section 5.1.4.2.1 as an example of such usage.)