Bezbednost informacionih sistema
Predavanje 2
Sigurnosna arhitektura
Sigurnosni perimetar
Skrivanje i apstrakcija
Domen zaštite
Zaštitni prstenovi
Sigurnosna oznaka
Sigurnosni režimi
Sigurnosni režimi
Sigurnosni režimi
Distribuirane arhitekture
Distribuirane arhitekture
Distribuirane arhitekture
Ranjivosti i oporavak
Ranjivosti i oporavak
Ranjivosti i oporavak
Sertifikacija i akreditacija
Akreditacija
Bezbednost i sigurnost
Modeli sigurnosnih pravila
Matrica pristupa
Subject | Object: File1 | Object: File2 |
Alice | read, write | read |
Bob | no access | read, write |
Matrica pristupa je bezbednosni model koji definiše privilegije između skupa Subjekata (npr. korisnika, procesa) i skupa Objekata (npr. datoteka, štampača).
Matrica pristupa
Subject | Object: File1 | Object: File2 |
Alice | read, write | read |
Bob | no access | read, write |
Alisa, Datoteka1: Ćelija prikazuje čitanje, pisanje. To znači da Alisa ima dozvolu i za čitanje iz i za pisanje u Datoteku1.
Alisa, Datoteka2: Ćelija prikazuje čitanje. To znači da Alisa može samo da čita Datoteku2, ali ne može da je menja.
Bob, Datoteka1: Ćelija je prazna (nema pristupa). To znači da Bob uopšte ne može da čita ili piše u Datoteku1.
Bob, Datoteka2: Ćelija prikazuje čitanje, pisanje. To znači da Bob ima dozvolu i za čitanje iz i za pisanje u Datoteku2.
Modeli Preuzmi-dodeli
Model „Preuzmi-Odobri“ je bezbednosni model koji koristi grafove da bi predstavio kako se prava pristupa mogu menjati tokom vremena.
Posebno je dizajniran da odgovori na pitanje: „S obzirom na skup početnih dozvola, da li subjekt može nezakonito da dobije novo pravo?“
Modeli Preuzmi-dodeli
Model Bell La Padula
Bel-LaPadula (BLP) model je bezbednosni model osmišljen da zaštiti poverljivost. Koristi se u vojnim i vladinim sistemima kako bi se osiguralo da informacije ne prelaze sa višeg na niži nivo klasifikacije.
Njegova osnovna pravila regulišu šta subjekt (npr. korisnik ili program) može da uradi sa objektom (npr. datotekom) na osnovu svojih nivoa bezbednosti.
Pravila modela Bell La Padula
Jednostavno bezbednosno svojstvo (bez čitanja na gore): Subjekt može da čita objekat samo ako je nivo bezbednosti subjekta barem jednako visok kao i nivo bezbednosti objekta. Ne možemo da čitamo nešto što je klasifikovano više od onoga za šta imamo dozvolu.
*-Svojstvo (zvezda - svojstvo) (bez pisanja na dole): Subjekt može da piše u objekat samo ako je nivo bezbednosti subjekta najviše jednako visok kao i nivo bezbednosti objekta. Ne možemo da pišemo tajne informacije u datoteku koja je klasifikovana samo kao poverljiva.
Primer modela Bell La Padula
Korisnička odobrenja:
Alisa: Tajno
Bob: Poverljivo
Klasifikacije datoteka:
Datoteka 1: Tajno
Datoteka 2: Poverljivo
Primer modela Bell La Padula
Može li Alisa (Tajna) da pročita Datoteku1 (Tajna)?
Pravilo: Jednostavno bezbednosno svojstvo (Bez čitanja na gore).
Provera: Da li je nivo Alise (Tajna) >= nivo Datoteke1 (Tajna)? Da.
Rezultat: DOZVOLJENO. Subjekt može da čita objekat na istom nivou.
Primer modela Bell La Padula
Može li Bob (Poverljivo) da čita Datoteku1 (Tajno)?
Pravilo: Jednostavno bezbednosno svojstvo (Bez čitanja na gore).
Provera: Da li je Bobov nivo (Poverljivo) >= nivo Datoteke1 (Tajno)? Ne.
Rezultat: ODBIJENO. Bobu nije dozvoljeno da čita tajne datoteke.
Primer modela Bell La Padula
Može li Alisa (Tajna) da piše u Datoteku2 (Poverljivo)?
Pravilo: *-Svojstvo (Bez pisanja na dole).
Provera: Da li je nivo Alise (Tajna) <= nivo Datoteke2 (Poverljivo)? Ne.
Rezultat: ODBIJENO. Ako bi Alisi, koja zna tajne informacije, bilo dozvoljeno da piše u poverljivu datoteku, mogla bi slučajno ili namerno da „procuri“ tajne podatke u manje bezbednu datoteku. Upravo to BLP sprečava.
Model integriteta
Model integriteta
Model integriteta
Modeli toka informacija