Development of unified mathematical model of programming modules obfuscation process based on graphic evaluation and review method

Semenov, Serhii; Davydov, Viacheslav; Lipchanska, Oksana; Lipchanskyi, Maksym

doi:10.15587/1729-4061.2020.206232

Cited by 6 publications

(8 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The effectiveness of the chi-squared criterion is estimated asymptotically. When the main hypothesis is confirmed, the distribution of statistics asymptotically tends to the distribution of chi-square, which is tabulated, for example, in [6].…”

Section: Literature Review and Problem Statementmentioning

confidence: 99%

“…In [6], it is emphasized and practically proved that the convergence of statistics to the distribution of chi-squared random variables takes place only for a distribution vector with independent coordinates, otherwise the number of degrees of freedom in the boundary distribution increases. However, when conducting an experiment, the number of nonzero coordinates of the probability vector is initially unknown.…”

Section: Literature Review and Problem Statementmentioning

confidence: 99%

See 1 more Smart Citation

Devising a procedure for defining the general criteria of abnormal behavior of a computer system based on the improved criterion of uniformity of input data samples

Semenov

Mozhaiev

Kuchuk

et al. 2022

EEJET

View full text Add to dashboard Cite

The object of this study was the process of detecting anomalies in computer systems. The task to timely detect anomalies in computer systems was solved, based on a mathematical model underlying which is the criteria for uniformity of samples of input data. The necessity and possibility to devise a universal and at the same time scientifically based approach to tracking the states of the system were determined. Therefore, the purpose of this work was to develop a methodology for determining the general criterion of anomaly in the behavior of a computer system depending on the input data. This will increase the reliability of identifying the anomaly in the behavior of the system, which, in turn, should increase its safety. To solve the problem, a mathematical model for detecting anomalies in the behavior of a computer system has been built. The mathematical model differs from the well-known ones in the possibility of isolating a series of observations, the results of which show the anomaly in the behavior of the computer system. This made it possible to ensure the necessary level of reliability of the results of monitoring and research. In the process of modeling, the criteria for uniformity of samples of input data have been investigated and improved. The expediency of using the improved criterion of uniformity of samples of input data in the case of a significantly unequal distribution of values from the sensors of computer systems has been proved. An algorithm for the functioning of the software test tool has been developed. The results of the study showed that the confidence probability that the value of the statistical values of the shift in a certain criterion does not deviate from the mathematical expectation by more than 0.05 is approximately equal to 0.94. The scope of the obtained results is systems for detecting anomalies of computer systems. A necessary condition for the use of the proposed results is the presence of a series of observations of the state of the computer system

show abstract

Section: Literature Review and Problem Statementmentioning

confidence: 99%

Section: Literature Review and Problem Statementmentioning

confidence: 99%

Devising a procedure for defining the general criteria of abnormal behavior of a computer system based on the improved criterion of uniformity of input data samples

Semenov

Mozhaiev

Kuchuk

et al. 2022

EEJET

View full text Add to dashboard Cite

show abstract

“…In work [5], an attempt was made to develop GERT models in order to unify the problems by using the Erlang distribution with different coefficients. However, that solution did not make it possible to avoid errors in the simulation results under the conditions of uncertainty of input or intermediate data.…”

Section: Literature Review and Problem Statementmentioning

confidence: 99%

“…It should be noted that these procedures should take into consideration the fuzziness of the input and output data. Transitions (1-5) and (3)(4)(5) characterize the process of manual software analysis. Transitions (2-6), (3)(4)(5)(6), (4)(5)(6), and (5-6) describe one of the most complex processes in terms of mathematical formalization, the decision-making process, and confirmation of software vulnerabilities.…”

Section: Literature Review and Problem Statementmentioning

confidence: 99%

“…Transitions (1-5) and (3)(4)(5) characterize the process of manual software analysis. Transitions (2-6), (3)(4)(5)(6), (4)(5)(6), and (5-6) describe one of the most complex processes in terms of mathematical formalization, the decision-making process, and confirmation of software vulnerabilities. Transitions (3-1), (4-1), and (5-1) are possible if the input data are insufficient and formalize the processes of requests for their repetition.…”

Section: Literature Review and Problem Statementmentioning

confidence: 99%

See 1 more Smart Citation

Development of a fuzzy GERT-model for investigating common software vulnerabilities

Semenov

Zhang²,

Weiling³

et al. 2021

EEJET

Self Cite

View full text Add to dashboard Cite

This paper has determined the relevance of the issue related to improving the accuracy of the results of mathematical modeling of the software security testing process. The fuzzy GERT-modeling methods have been analyzed. The necessity and possibility of improving the accuracy of the results of mathematical formalization of the process of studying software vulnerabilities under the conditions of fuzziness of input and intermediate data have been determined. To this end, based on the mathematical apparatus of fuzzy network modeling, a fuzzy GERT model has been built for investigating software vulnerabilities. A distinctive feature of this model is to take into consideration the probabilistic characteristics of transitions from state to state along with time characteristics. As part of the simulation, the following stages of the study were performed. To schematically describe the procedures for studying software vulnerabilities, a structural model of this process has been constructed. A "reference GERT model" has been developed for investigating software vulnerabilities. The process was described in the form of a standard GERT network. The algorithm of equivalent transformations of the GERT network has been improved, which differs from known ones by considering the capabilities of the extended range of typical structures of parallel branches between neighboring nodes. Analytical expressions are presented to calculate the average time spent in the branches and the probability of successful completion of studies in each node. The calculation of these probabilistic-temporal characteristics has been carried out in accordance with data on the simplified equivalent fuzzy GERT network for the process of investigating software vulnerabilities. Comparative studies were conducted to confirm the accuracy and reliability of the results obtained. The results of the experiment showed that in comparison with the reference model, the fuzziness of the input characteristic of the time of conducting studies of software vulnerabilities was reduced, which made it possible to improve the accuracy of the simulation results.

show abstract

Numerical modelling of the process of implementing media educational projects using GERT networks

Dorrer

Доррер

Kasyanova

et al. 2020

J. Phys.: Conf. Ser.

View full text Add to dashboard Cite

The purpose of this work was to test the applicability of the methods for work networks based on the stochastic GERT networks analysing to the analysis and forecasting of the executing similar projects processes. The experimental object was the data on the implementation of media education projects by students of the general education lyceum. The processes were modelled using the graphical BPMN methodology. For numerical prediction, we used formulas and algorithms for constructing and analysing stochastic GERT networks. The GERT network, built on the basis of data analysis of the implemented media educational projects, made it possible to calculate the probability distribution density of the time of the media project execution, as well as to calculate the first central moments of the distribution law-significant in practice indicators of the average execution time of a media project, taking into account loops and cycles, as well as an indicator of the variance of the project execution time, which makes it possible to estimate the spread of the execution time of the same type of media projects. The result obtained allows us to speak about the applicability of the GERT-model for predicting the numerical indicators of models of business processes for executing projects of the same type as an alternative to statistical simulation.

show abstract

Development of unified mathematical model of programming modules obfuscation process based on graphic evaluation and review method

Cited by 6 publications

References 13 publications

Devising a procedure for defining the general criteria of abnormal behavior of a computer system based on the improved criterion of uniformity of input data samples

Devising a procedure for defining the general criteria of abnormal behavior of a computer system based on the improved criterion of uniformity of input data samples

Development of a fuzzy GERT-model for investigating common software vulnerabilities

Numerical modelling of the process of implementing media educational projects using GERT networks

Contact Info

Product

Resources

About