Polityki i modele kontroli dostępu

Prelegent(ci)

Bartosz Zieliński

Afiliacja

Wydział Fizyki i Informatyki Stosowanej, Uniwersytet Łódzki; Instytut Matematyki, PAN

Termin

4 stycznia 2010 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Omówione zostaną podstawowe pojęcia związane z bezpieczeństwem, modele kontroli dostępu, polityki bezpieczeństwa i związane z nimi problemy, m.in: rozróżnienie na uznaniową i obowiązkową kontrolę dostępu, podstawowy model macierzy dostępu, model Harisona-Ruzzo-Ullmana i jego modyfikacje, nierozstrzygalność problemu bezpieczeństwa, kontrola dostępu oparta na rolach i jej różne wersje, kontrola przepływu informacji: modele Bell-La Padula i Denninga, konflikt interesów: polityka muru chińskiego.

---