Autor: Zieliński, Z. - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: UML Simulation of a Topology Configuration Model
Autorzy:: Zieliński, Z.
Stasiak, A.
Dąbrowski, W.
Powiązania:: https://bibliotekanauki.pl/articles/307600.pdf
Data publikacji:: 2012
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: configuration topology
system modeling
UML model simulation
Opis:: The article presents the application of simulation methods for topological models to analyze and design information systems. By using UML extensions and the UAL language it is possible not only to build a topological model for software, but also to perform efficient simulations of topological models. Additionally, it is possible to take into account the restrictive conditions stored in UAL and OCL languages. To execute the simulation the authors used an simulator from IBM. These concepts and methods are illustrated by examples.
Źródło:: Journal of Telecommunications and Information Technology; 2012, 4; 46-53
1509-4553
1899-8852
Pojawia się w:: Journal of Telecommunications and Information Technology
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Secured Workstation to Process the Data of Different Classification Levels
Autorzy:: Zieliński, Z.
Furtak, J.
Chudzikiewicz, J.
Stasiak, A.
Brudka, M.
Powiązania:: https://bibliotekanauki.pl/articles/309351.pdf
Data publikacji:: 2012
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: cryptographic protection
multilevel security
software design
UML
virtualization
Opis:: The paper presents some of the results obtained within the ongoing project related with functional requirements and design models of secure workstation for special applications (SWSA). SWSA project is directed toward the combination of the existing hardware and software virtualization with cryptography and identification technologies to ensure the security of multilevel classified data by means of some formal methods. In the paper the requirements for SWSA, its hardware and software architecture, selected security solution for data processing and utilized approach to designing secure software are presented. The novel method for secure software design employs dedicated tools to verify the confidentiality and the integrity of data using Unified Modeling Language (UML) models. In general, the UML security models are embedded in and simulated with the system architecture models, thus the security problems in SWSA can be detected early during the software design. The application of UML topology models enables also to verify the fundamental requirement for MLS systems, namely the hardware isolation of subjects from different security domains.
Źródło:: Journal of Telecommunications and Information Technology; 2012, 3; 5-12
1509-4553
1899-8852
Pojawia się w:: Journal of Telecommunications and Information Technology
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "Zieliński, Z." wg kryterium: Autor

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język