It's good to think a little beyond your formal model. Cryptography can and should provide defense-in-depth.