Development a mathematical model for the software security testing first stage

Semenov, Serhii; Zhang, Liqiang; Weiling, Cao; Davydov, Viacheslav

doi:10.15587/1729-4061.2021.233417

Cited by 5 publications

(6 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…5). In addition, the results of a comparative analysis of the developed model with known models [10,29] show an improvement of this accuracy indicator to 5 %.…”

Section: Comparative Studies Of the Gert-model Of A Recommender Syste...mentioning

confidence: 84%

See 1 more Smart Citation

Constructing the mathematical model of a recommender system for decentralized peer-to-peer computer networks

Mikhav,

Semenov,

Meleshko

et al. 2023

EEJET

View full text Add to dashboard Cite

Recommender systems make it easier to search with a large amount of content, supplementing or replacing the classic search output with recommendations. In P2P networks, their use can have additional benefits. Because of indexing and search problems, previously added files may not be available to P2P network users. If the user cannot find the file he is looking for, one can provide him with a list of recommendations based on his preferences and search query. The object of research is the process of creating recommendations for users of decentralized P2P networks to facilitate data search. The urgent task of increasing the accuracy of mathematical modeling of recommender systems by taking into account the requirements for reliability and data security during changes in the structure of a decentralized P2P network is solved. An analytical model of the recommender system of a decentralized P2P network has been developed, the main feature of which is taking into account the requirements of reliability and security of recommendation messages. This was done by introducing the following indicators into the general model of the decentralized recommender system – the probability of reliable packet transmission and the probability of safe packet transmission. The developed analytical model makes it possible to conduct a comparative analysis of different methods of operation of recommender systems and to set acceptable parameters under which the degree of relevance does not fall below a certain threshold. The developed mathematical model of the system based on the GERT scheme differs from the known ones by taking into account the reliability and security requirements during changes in the structure of the decentralized P2P network. This has made it possible to improve the accuracy of simulation results up to 5 %. The proposed mathematical model could be used for prototyping recommender systems in various fields of activity

show abstract

“…5). In addition, the results of a comparative analysis of the developed model with known models [10,29] show an improvement of this accuracy indicator to 5 %.…”

Section: Comparative Studies Of the Gert-model Of A Recommender Syste...mentioning

confidence: 84%

“…The W-function [28,29] of the time of identification of the state of the nodes of the recommender system in the process of forming and changing recommendations is equal to:…”

Section: Formalization and Evaluation Of Probabilistic-temporal Chara...mentioning

confidence: 99%

Constructing the mathematical model of a recommender system for decentralized peer-to-peer computer networks

Mikhav,

Semenov,

Meleshko

et al. 2023

EEJET

View full text Add to dashboard Cite

show abstract

“…Studies of the scheme for software vulnerability research and evaluation of the results of mathematical modeling allow to conclude that the data analyzed in the system for confirming potential vulnerabilities is complex [1,2]. In this case, the summary security indicator of the software the object under study Fsec, can be represented as a sequence of the following data:…”

Section: Problem Statement and Literature Analysismentioning

confidence: 99%

The Software Security Decision Support Method Development

Zhang¹,

Мірошніченко

2022

A.I.S.

Self Cite

View full text Add to dashboard Cite

The actuality of the power to improve the accuracy of the results was determined in order to make a decision about the process of testing the software security. An analysis of the methods of support for making a decision was carried out. The necessity and feasibility of improving the accuracy of the results was determined in case of further software security inconsistencies in the minds of the fuzziness of input and intermediate data. With this method, on the basis of the mathematical apparatus of fuzzy logic, the method of support for making a decision about the security of software security has been developed. The main feature of this method is the synthesis of an improved method of generating the initial vibration in the process of starting a piece of neural string. Within the framework of the model, the next stages of follow-up are reached. For the mathematical formalization of the process of accepting the decision and designation of the input data, the model of forming the vector in the input data was developed. Depending on this model for shaping the input data, an anonymous sign of potential inconsistencies and undeclared possibilities of the PP is valid until the data of PVS-Studio Analysis Results. To improve the accuracy of the classification of data collected, the method of creating a piece of neural array has been improved, which is modified by the method of generating a sample, which is being developed. This generation method includes three equal generations: generation of the initial vibration, generation of the initial butt and generation of a specific value of the safety characteristic. This made it possible to increase the accuracy of classification and acceptance of the solution by 1.6 times for positive elements in the selection by 1.2 times for negative elements in the selection. To confirm the effectiveness of the development of the method of support for the decision on how to ensure software security, a ROC-analysis was carried out over the course of the above procedures. The results of the experiment confirmed the hypothesis about the efficiency of the divided method of support to make a decision about the security of PZ up to 1.2 times equal to the methods, which are based on the position of discriminant and cluster analysis.

show abstract

“…Paper [2] reports a mathematical model of the first stage of identifying software vulnerabilities, the results of which can be used in the second, main, stageinvestigating software vulnerabilities. At the same time, taking into consideration the uncertainties of input data and intermediate results is one of the innovative components of modeling.…”

Section: The Aim and Objectives Of The Studymentioning

confidence: 99%

“…Transitions (1-3) and (2-3) correspond to the procedures for static analysis of software vulnerabilities. Transitions (1-4), (2)(3)(4), (3)(4) formalize algorithms and procedures for dynamic analysis and evaluation of the test object. It should be noted that these procedures should take into consideration the fuzziness of the input and output data.…”

Section: Literature Review and Problem Statementmentioning

confidence: 99%

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

Development a mathematical model for the software security testing first stage

Cited by 5 publications

References 8 publications

Constructing the mathematical model of a recommender system for decentralized peer-to-peer computer networks

Constructing the mathematical model of a recommender system for decentralized peer-to-peer computer networks

The Software Security Decision Support Method Development

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

Contact Info

Product

Resources

About