No. 13-14/2021

Online archive of Computer Science and Mathematical Modelling

No. 13-14/2021

1. Olga Dzięgielewska - Evaluating adaptive differential privacy model

   Pages: 5 - 16
   Abstract: Differential privacy is a statistical disclosure control that is gaining popularity in recent years due to easy application for the data collection mechanisms. Many variants of differential privacy are being developed for specific use cases and environments. One of them is adaptive differential privacy that modulates the generated noise in such a way, that the retrieved result is affected according to the risk profile of the asked query and the risk-accuracy tradeoff required for the queried database. This paper intends to evaluate the adaptive differential privacy using VIOLAS Framework and through assessing how the security characteristics satisfied by the adaptive differential privacy mitigate the risk of selected inference attacks.
   Keywords differential privacy, VIOLAS framework, information score, risk-accuracy, inference attacks, statistical databases security.
   Full article: 5_16_odziegielewska_evaluating_csmm_2021.pdf
2. Paweł Nosażewski, Joanna Wiśniewska - Implementation of the Turing machine simulator

   Pages: 17 - 29
   Abstract: This paper describes the process of designing and implementing a Turing machine simulator application. The created desktop application is distinguished from other solutions by the use of the latest technology and offline operating. The various stages of the project are described, such as defining requirements, creating UML diagrams, and prototyping the user interface. A MVVM architectural model used in building the application is presented. The issues of controls, data binding, and message passing found in the Avalonia package are addressed. The unit tests created and the exploratory tests performed are also described.
   Keywords Turing machine, simulator, application
   Full article: 17_29_pnosazewski_jwisniewska_implementacja_v2_csmm_13_14_2021_porec.pdf
3. Bolesław Szafrański - Registry services and systems – conceptual and architectural aspects

   Pages: 31 - 38
   Abstract: After discussing the function of public registers in the information infrastructure of the State, the paper focuses on the architectural aspects of ensuring the possibility of standardised reference to the services of public registry systems, despite the technological and functional differences between them. Taking this fact into account, the concept was presented to include, in the architecture, the platform for access registry services of an intermediary layer consisting of registry connectors, registry broker and universal registry services, whose (layer) main task is to “mask” the above differences by adapting the services of autonomous registries to the standard required by the main bus of this platform.
   Keywords public register systems, architecture, information system of the State
   Full article: 31_38_bszafranski_registry_csmm_2021.pdf
4. Bolesław Szafrański, Jarosław Wójcik - Analysis of models and algorithms used operationally in methods for the continuous monitoring of bird collision hazards

   Pages: 39 - 50
   Abstract: The results of the analysis of factors influencing the emergence of dangerous situations in the air (in short, aviation incidents) in the Polish Army show a significant negative impact of the environment on the flight operations performed. The most common cause of an aviation incident in the area of the environment is the collision of the aircraft with birds. The lack of methods for the continuous monitoring and forecasting of the level of risk of collision between aircraft and birds makes a significant gap in a proactive approach to the safety of flights in the Air Force of the Republic of Poland. This paper presents an overview of the most important methods for detection and forecasting of bird flight intensity, which have been used for construction of systems aiming to prevent collisions with birds and which are employed by the air forces of the United States, the Netherlands, Belgium and Israel. An accurate analysis of the models and algorithms used in the selected methods shows contemporary trends in research on the negative impact of the environment on flight safety. These methods show incomplete usefulness in Poland’s conditions, which justifies the need to develop a more appropriate method.
   Keywords safety, aviation, bird strike
   Full article: 39_50_bszafranski_jwojcik_csmm_v1.10_en_pp.pdf
5. Jarosław Wilk - Efficiency of lattice-based security mechanisms supporting public tasks on digital integration platforms

   Pages: 51 - 59
   Abstract: Integration platforms are the solution increasingly used by the public administration in Poland in order to make public tasks available and implement the tasks on these platforms (in the form of electronic services). In earlier publications, the author proposed a mathematical model based on lattice mechanisms that ensures the secure provision of these services (from a confidentiality perspective). In the following publication the author's model was cited (its main elements) and then the analysis of a time efficiency of the approach with using lattice mechanisms with the general model was performed. The efficiency examined concerned both the implementation of public tasks – and more precisely the verification of their correctness from the security perspective before the implementation as well as concerned an expansion of the process of handling the public task. The author has demonstrated that in both cases it is appropriate to use the lattice solution, as its time efficiency is better.
   Keywords public tasks execution, efficiency, security model, lattice based model
   Full article: 51_59_jwilk_efficiency_csmm_2021.pdf
6. Paweł Wójcik, Joanna Wiśniewska - Machine learning methods in game of chess implementation

   Pages: 61 - 69
   Abstract: The following work presents methods of using machine learning to teach a computer to play chess. The first method is based on using records of games played by highly ranked players. The second method is based on the Monte Carlo Tree Search algorithm and reinforcement learning.
   Keywords chess, machine learning, neural networks
   Full article: 61_69_pwojcik_machinelearning_csmm_2021_porec.pdf