Mathematical Foundations of Computer Security

Review lection of security models of computer system

P. N. Devyanin

Institute of Cryptography, Communications and Informatics, Moscow, Russia

Abstract: The basic properties of classical models of security of computer systems are resulted: discretionary, mandatory, role management of access, security of information flows and isolated program environment. The set models of security of logic management by access and information flows (DP-models), adapted to conditions of functioning modern computer systems are considered. Features teaching of given models are analyzed at training by specialties 090000 – “Information security”.

UDC: 004.94