Secure software cannot be intentionally subverted or forced to fail. It
is, in short, software that remains correct and predictable in spite of
intentional efforts to compromise that dependability.
Security in the Software Life Cycle elaborates on this definition—