Secure Computer System Model. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 1102