Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: bezpieczne oprogramowanie

Sortuj według:

Ogranicz wyniki do:

Bezpieczna stacja robocza do przetwarzania danych o różnych klauzulach niejawności

Zieliński Z., Brudka M., Furtak J., Stasiak A., Chudzikiewicz J., Kozakiewicz A., Felkner A., Małowidzki M.

Journal of KONBiN

2011

No. 2 (18)

43--59

Projekt bezpiecznej stacji do zastosowań specjalnych (BSdZS) ukierunkowany jest na integrację technik sprzętowej i programowej wirtualizacji z kryptografią i zaawansowaną identyfikacją, wykorzystując metody formalne do zapewnienia poufności i integralności danych o różnych klauzulach niejawności. W referacie zaproponowano autorskie podejście do projektowania bezpiecznego oprogramowania, z wykorzystaniem dedykowanych narzędzi do weryfikacji poufności i integralności przetwarzanych danych na podstawie modeli UML. W zaproponowanej metodzie projektowania integracja modeli zabezpieczeń z modelami systemów opisanych w języku UML, umożliwia ich symulację, co pozwala na weryfikację problemów bezpieczeństwa projektowanego oprogramowania BSdZS już na etapie modelowania. Zastosowanie modelu topologii daje możliwość badania sprzętowej separacji procesów przetwarzania danych, należących do różnych domen bezpieczeństwa, co jest jednym z elementów weryfikacji systemów typu MLS. Dodatkowo model topologii umożliwia definiowanie konfiguracji BSdZS, a następnie walidację reguł dotyczących skończoności zasobów fizycznych stacji.

The project of trusted workstation for special applications (TWSA) 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. It is anticipated, that the final solution will provide a ready-to-deploy base platform for various workstations, especially in C2 systems. In the paper, a novel method for secure software design is introduced. The method employes dedicated tools to verify the confidentiality and the integrity of data using UML models. In general, the UML security models are embedded in and simulated with the system architecture models, thus the security problems in TWSA 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. Additionally, the configuration of TWSA is defined within the topology model and validated against the constraints of hardware resources.

Object-oriented programming as a method for developing software in rail-traffic-control computer systems

Sumiła M., Lewiński A.

Archives of Transport

2010

Vol. 22, iss. 2

219-237

The paper focuses on a new method for specifying safe software for rail traffic control systems. The presented method is particularly convenient to define typical devices and subsystems used in traffic control, defined as software blocks in which control algorithms are directly applicable. The method uses the object-oriented methodology and the UML language. The program in UML language allows for modelling, verification, functional testing, and simulation in an environment that is typical for rail traffic control. The method takes the software implementation requirements into account, having in mind the safety and control in real time in accordance with the UIC and CENELEC standards and recommendations.

Praca dotyczy nowej metody specyfikacji bezpiecznego oprogramowania dla systemów sterowania ruchem kolejowym. Przedstawiona metoda jest szczególnie dogodna do definiowania typowych urządzeń i podsystemów stosowanych w sterowaniu ruchem kolejowym, w postaci określonych bloków oprogramowania, w których stosuje się bezpośrednio algorytmy sterowania. W metodzie wykorzystano metodologię obiektową i język UML. Program w języku UML daje możliwość modelowania, weryfikacji, testowania funkcjonalnego oraz symulacji w typowym środowisku sterowania ruchem kolejowym. Metoda uwzględnia wymogi implementacji oprogramowania uwzględniając bezpieczeństwo i sterowanie w czasie rzeczywistym zgodnie ze standardami i zaleceniami UIC i CENELEC.