В работе строится вероятностная модель компьютерной системы, вводится понятие безопасности для нее и приводятся условия, при соблюдении которых система является безопасной.