Analiz bezopasnosti uprawleniq dostupom w komp'üternyh sistemah

V monografii wwoditsq matematicheskaq model', razwiwaüschaq semejstwo modelej bezopasnosti logicheskogo uprawleniq dostupom i informacionnymi potokami (DP-modelej) i pozwolqüschaq analizirowat' mehanizmy bezopasnosti sowremennyh komp'üternyh sistem s funkcional'no i parametricheski associirowannymi suschnostqmi. V ramkah modeli analiziruütsq uslowiq narusheniq bezopasnosti komp'üternyh sistem s diskrecionnym uprawleniem dostupom, stroqtsq algoritmy poiska wseh wozmozhnyh putej utechki praw dostupa i realizacii zapreschennyh informacionnyh potokow, a takzhe predlagaütsq formal'nye metody ih predotwrascheniq. Dlq studentow wuzow, obuchaüschihsq po special'nostqm w oblasti informacionnoj bezopasnosti, prepodawatelej i specialistow w oblasti zaschity informacii.