I'm not sure how the security is different than the correctness. Security is just an aspect of it - the software doesn't do what it's supposed to, in some specific way.

But my broader point was that this analogy is basically what 'can god make a rock so big they can't pick it up' is to a discussion of theology.