Nie jesteś zalogowany | Zaloguj się

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.