Analiz bezopasnosti uprawleniq dostupom w komp'üternyh sistemah
DP-model' komp'üternyh sistem s funkcional'no i parametricheski associirowannymi suschnostqmi
- Editore:
LAP LAMBERT Academic Publishing
- EAN:
9783846503324
- ISBN:
3846503320
- Pagine:
- 100
- Formato:
- Paperback
- Lingua:
- Tedesco
Descrizione 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.