Title:

Secured Workstation to Process the Data of Different Classification Levels, Journal of Telecommunications and Information Technology, 2012, nr 3

Creator:

Zieliński, Zbigniew ; Brudka, Marek ; Stasiak, Andrzej ; Chudzikiewicz, Jan ; Furtak, Janusz

Subject and Keywords:

UML ; multilevel security ; virtualization ; software design ; cryptographic protection

Description:

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.

Publisher:

Instytut Łączności - Państwowy Instytut Badawczy, Warszawa

Date:

2012, nr 3

Resource Type:

artykuł

Format:

application/pdf

Resource Identifier:

ISSN 1509-4553, on-line: ISSN 1899-8852

DOI:

10.26636/jtit.2012.3.1273

ISSN:

1509-4553

eISSN:

1899-8852

Source:

Journal of Telecommunications and Information Technology

Language:

ang

Rights Management:

Biblioteka Naukowa Instytutu Łączności