Analiz bezopasnosti uprawleniq dostupom w komp'üternyh sistemah
Denis Kolegow
Broschiertes Buch

Analiz bezopasnosti uprawleniq dostupom w komp'üternyh sistemah

DP-model' komp'üternyh sistem s funkcional'no i parametricheski associirowannymi suschnostqmi

Versandkostenfrei!
Versandfertig in 1-2 Wochen
32,99 €
inkl. MwSt.
PAYBACK Punkte
16 °P sammeln!
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 ...