assurance communities have proven adaptable for purposes of assuring
security (e.g., formal methods, fault injection), so the notion of assurance cases
for establishing confidence in the security of software has emerged.
Most currently defined software security assurance cases include—