Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Problemy weryfikacji i zarządzania politykami bezpieczeństwa systemów informatycznych

100%

Juszczyszyn K.

tom T. 2, z. 3/4

108-115

W pracy zdefiniowano polityki bezpieczeństwa systemów informatycznych i przedstawiono podstawowe cele zarządzania nimi. Problemy definiowania, analizy, projektowania i modyfikacji polityk bezpieczeństwa zilustrowano wykorzystując technologię Domain and Type Enforcement. Omówiono możliwość wykorzystania sieci Petriego do modelowania polityki bezpieczeństwa oraz dowodzenia jej poprawności. Proponowane podejście porównano z popularnymi modelami bezpieczeństwa systemów informatycznych - macierzą dostępu oraz sieciami IFS.

The term security model is used to describe any formal statement of a system's confidentiality, availability of integrity requirements. The more limited meaning of this term specifies a particular mechanism for enforcing confidentiality, called access control. In this paper the term security policy is defined and the challenge of creating and managing security policy on the framework of chosen security model is discussed. These issues are illustrated with an example - network security technology Domain and Type Enforcement. DTE is a modified form of table-oriented (based on well-known access matrix model) access control mechanism - type enforcement. The use of Petri nets formalism for modeling and evaluating network security policies is also proposed, discussed and compared with some common formal security models.

Laboratorium chmur obliczeniowych

32%

Schauer P. , Adamkiewicz R. , Falas Ł. , Juszczyszyn K. , Grzech A. , Świątek P. , Kołaczek G. , Stelmach P.

tom nr 12

1418--1421

Przedstawiono architekturę i koncepcje wykorzystania laboratorium chmur obliczeniowych, będącego częścią infrastruktury ogólnopolskiej sieci badawczej PL-LAB2020. Laboratorium oferuje heterogeniczne środowisko sprzętowe oraz dedykowane narzędzia zarządzające i analityczne, możliwe do wykorzystania w wielu domenach dziedzinowych (Internet rzeczy, telemedycyna, zarządzanie sieciami, transport i logistyka).

This paper presents concept, architecture and main functions of the cloud computing laboratory, which is a part of PL-LAB2020 polish national research infrastructure. Laboratory offers a heterogenichardware environment, which offers added value services dedicated for management and specialized analytic toolswhich can be used in different, domain specific, research scenarios (Internetof Things, eHealth, network management, transport and logistics).