Modele bezpieczeństwa logicznego i ich implementacje w systemach informatycznych / Aneta Poniszewska-Marańda. Warszawa, 2013.

Transkrypt

1 Modele bezpieczeństwa logicznego i ich implementacje w systemach informatycznych / Aneta Poniszewska-Marańda. Warszawa, 2013 Spis treści I. Bezpieczeństwo systemów informatycznych Rozdział 1. Wstęp System, system informatyczny Bezpieczeństwo systemów informatycznych, zagroŝenia bezpieczeństwa Cel i zakres badań Zawartość i struktura opracowania 16 Rozdział 2. O strategiach i modelach bezpieczeństwa logicznego Pojęcie kontroli dostępu Strategie i modele kontroli dostępu Modele uznaniowej kontroli dostępu Modele obowiązkowej kontroli dostępu Model kontroli dostępu opartej na koncepcji roli (model Role-Based Access Control, RBAC) Rodzina modeli typu RBAC Ograniczenia bezpieczeństwa Modele kontroli uŝycia Zunifikowany język modelowania UML Podsumowanie 55 II. Modele bezpieczeństwa logicznego dla statycznych oraz dynamicznych systemów informatycznych i ich zastosowania Rozdział 3. Rozwiązania w dziedzinie bezpieczeństwa logicznego i aplikacyjnego dla systemów statycznych Klasyczne modele kontroli dostępu a struktura organizacyjna przedsiębiorstwa Autorskie rozszerzenie modelu RBAC - model erbac Reprezentacja modelu erbac przy uŝyciu koncepcji języka UML Język UML do projektowania bezpieczeństwa logicznego opartego na modelu erbac Połączenie koncepcji modelu erbac i języka UML Tworzenie schematu kontroli dostępu, opartego na modelu erbac przy uŝyciu języka UML InŜynieria ról przy zastosowaniu modelu erbac Ograniczenia bezpieczeństwa systemu informatycznego 79

2 Klasyfikacja ograniczeń bezpieczeństwa Ograniczenia z punktu widzenia projektanta Ograniczenia z punktu widzenia administratora bezpieczeństwa Implementacja ograniczeń bezpieczeństwa modelu erbac Bezpieczeństwo aplikacyjne w konfrontacji projektanta aplikacji i administratora bezpieczeństwa oraz wykrywanie niespójności w schemacie kontroli dostępu Integracja nowych elementów aplikacji z istniejącym systemem przy uŝyciu ograniczeń bezpieczeństwa Etap tłumaczenia Modelu UML poziomu projektanta na Model poziomu administratora Tłumaczenie wspólnych koncepcji Weryfikacja spójności systemu w zakresie bezpieczeństwa aplikacyjnego podczas dodawania nowej aplikacji Implementacja procesu inŝynierii ról na poziomie kontroli dostępu Podsumowanie 105 Rozdział 4. Kontrola dostępu i bezpieczeństwo aplikacyjne w dynamicznych systemach informatycznych Współczesne systemy informatyczne z punktu widzenia bezpieczeństwa logicznego i aplikacyjnego Tradycyjne modele kontroli dostępu a aktualne potrzeby w zakresie bezpieczeństwa danych Koncepcja roli a koncepcja uŝycia w dziedzinie kontroli dostępu Zagadnienie kontroli dostępu dla dynamicznych systemów informatycznych Kontrola dostępu w podejściu opartym na koncepcji roli z wykorzystaniem kontroli uŝycia Model kontroli dostępu opartej na koncepcji roli i kontroli uŝycia - model URBAC Elementy modelu URBAC Ograniczenia bezpieczeństwa modelu URBAC Definicja modelu URBAC Przykłady realizacji modelu URBAC Reprezentacja modelu URBAC przy uŝyciu koncepcji języka UML Elementy modelu URBAC i odpowiadające im koncepcje języka UML Ograniczenia bezpieczeństwa w modelu URBAC i odpowiadające im koncepcje języka UML Podział zadań w procesie definiowania schematu bezpieczeństwa systemu na podstawie modelu URBAC Etap projektowania Etap uŝytkowania Ograniczenia bezpieczeństwa dla modelu URBAC Klasyfikacja ograniczeń bezpieczeństwa modelu URBAC Ograniczenia z punktu widzenia projektanta w modelu URBAC 149

3 Rozszerzenie języka RCL dla koncepcji podejścia URBAC Ograniczenia z punktu widzenia administratora bezpieczeństwa w modelu URBAC Implementacja ograniczeń bezpieczeństwa modelu URBAC Studium przypadku: System konferencyjny EasyChair z punktu widzenia ograniczeń bezpieczeństwa modelu URBAC Podsumowanie 166 Rozdział 5. InŜynieria ról dla schematu bezpieczeństwa logicznego systemu informatycznego InŜynieria ról przy zastosowaniu modelu URBAC Reguły definiowania profili bezpieczeństwa uŝytkowników systemu informatycznego Produkcja zbioru ról systemu informatycznego Określenie funkcji z przydzielonymi pozwoleniami Określenie roli z przydzielonymi funkcjami Dwa punkty widzenia w tworzeniu schematu bezpieczeństwa oraz moŝliwe niespójności pomiędzy nimi Integracja nowych elementów ze schematem bezpieczeństwa systemu opartym na podejściu URBAC Transformacja Modelu UML do koncepcji podejścia URBAC Tłumaczenie koncepcji wspólnych modelu URBAC Tłumaczenie ograniczeń nakładanych na pozwolenie dla modelu URBAC Tłumaczenie ograniczeń następstw dla modelu URBAC Tłumaczenie ograniczeń ilościowych dla modelu URBAC Zapewnienie spójności schematu bezpieczeństwa w sytuacji dodawania nowej aplikacji do systemu Definicja spójności schematu bezpieczeństwa zgodnego z podejściem URBAC Weryfikacja spójności schematu bezpieczeństwa w podejściu URBAC Algorytm weryfikacji spójności dla modelu URBAC Podsumowanie 209 III. Bezpieczeństwo logiczne dla heterogenicznych i rozproszonych systemów informatycznych Rozdział 6. Kontrola dostępu w heterogenicznych systemach informatycznych Współpracujące heterogeniczne systemy informatyczne Kontrola dostępu w heterogenicznych systemach informatycznych Powiązanie koncepcji modeli kontroli dostępu z koncepcjami języka UML Koncepcje modelu DAC w powiązaniu z koncepcjami UML 220

4 Koncepcje modelu MAC w powiązaniu z koncepcjami UML Koncepcje modelu erbac w powiązaniu z koncepcjami UML Koncepcje modelu URBAC w powiązaniu z koncepcjami UML Koncepcje modelu UCON w powiązaniu z koncepcjami UML Tworzenie profili bezpieczeństwa dla uŝytkowników z uŝyciem poszczególnych modeli kontroli dostępu Wspólne koncepcje dla heterogenicznych modeli kontroli dostępu Podsumowanie 232 Rozdział 7. Systemy wieloagentowe a kontrola dostępu Agenci i systemy wieloagentowe a heterogeniczne systemy informatyczne Komunikacja w systemach wieloagentowych Systemy wieloagentowe w architekturze FIPA Dotychczasowe prace na temat wykorzystania inteligentnych agentów w dziedzinie kontroli dostępu Architektura kontroli dostępu dla dynamicznych, rozproszonych systemów informatycznych Agenci w bezpieczeństwie współpracujących systemów informatycznych, przykłady zastosowań Zarys implementacji podejścia agentowego w dziedzinie bezpieczeństwa logicznego Podsumowanie 260 IV. Zastosowanie modeli bezpieczeństwa logicznego przykłady implementacyjne Rozdział 8. Platforma zarządzania kontrolą dostępu w systemach informatycznych Zasada działania platformy URBAC REAP wspomagającej administrowanie kontrolą dostępu Podstawowa funkcjonalność platformy URBAC REAP do zarządzania bezpieczeństwem logicznym i aplikacyjnym Usługa do zarządzania kontrolą dostępu w dynamicznych systemach informatycznych z punktu widzenia uŝytkownika Podsumowanie 280 Rozdział 9. Techniki i przykłady implementacji bezpieczeństwa logicznego Przykład I: Podejście MDA w modelowaniu kontroli dostępu systemu informatycznego Model-Driven Architecture i inne wybrane techniki inŝynierii oprogramowania dla kontroli dostępu MDA do modelowania kontroli dostępu opartej na rolach Przykład II: System wieloagentowy zapewniający bezpieczeństwo

5 danych w rozproszonych systemach informatycznych Metodyka Serum z punktu widzenia zrealizowanego systemu wieloagentowego Inteligentni agenci wspomagający zarządzanie prawami dostępu Przykład III: Wykorzystanie języka BPEL do zarządzania kontrolą dostępu w systemach informatycznych Architektura zorientowana na usługi oraz język BPEL Implementacja rozwiązania opartego na architekturze SOA Podsumowanie 300 Rozdział 10. Podsumowanie 301 Spis rysunków 307 Spis tablic 310 Spis algorytmów 311 Listingi kodu 312 Bibliografia 313 Indeks 324 oprac. BPK