Close can count in math - fuzzy logic and probability are a thing. But I think you have it backwards. Close doesn't count in IT security. "Almost secure" means

Close can count in math - fuzzy logic and probability are a thing. But I think you have it backwards. Close doesn't count in IT security. "Almost secure" means unsecure. Security is the compelling argument for formal verification.