Security Verification. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 1174