- Tytuł:
-
Podstawowe Twierdzenie Bezpieczeństwa
Basic Security Theorem - Autorzy:
- Liderman, K.
- Powiązania:
- https://bibliotekanauki.pl/articles/210628.pdf
- Data publikacji:
- 2011
- Wydawca:
- Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
- Tematy:
-
informatyka
ochrona informacji
modele formalne
polityka bezpieczeństwa
zarządzanie bezpieczeństwem informacji
computer science
security
formal models
security policy
information security management - Opis:
-
W artykule przeprowadzono rozważania nt. współczesnego, praktycznego znaczenia podstawowych modeli formalnych z dziedziny ochrony informacji. Przedstawiono także Podstawowe Twierdzenie Bezpieczeństwa (ang. Basic Security Theorem) oraz pokazano przykład jego uściślenia na bazie modelu Bella-LaPaduli.
The paper considers the contemporary practical importance of basic formal models within the area of information security. The Basic Security Theorem is presented and an example of its reference to the Bell-LaPadula model is given. - Źródło:
-
Biuletyn Wojskowej Akademii Technicznej; 2011, 60, 4; 315-329
1234-5865 - Pojawia się w:
- Biuletyn Wojskowej Akademii Technicznej
- Dostawca treści:
- Biblioteka Nauki
Artykuł