Approbation of the stochastic group virus protection model
The article discusses the implementation in Java of the stochastic collaborative virus defense model developed within the framework of the Distributed Object-Based Stochastic Hybrid Systems (DOBSHS) model and its analysis. The goal of the work is to test the model in conditions close to the real wor...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Belarusian National Technical University
2022-01-01
|
| Series: | Системный анализ и прикладная информатика |
| Subjects: | |
| Online Access: | https://sapi.bntu.by/jour/article/view/539 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832543651958358016 |
|---|---|
| author | R. Y. Sharykin |
| author_facet | R. Y. Sharykin |
| author_sort | R. Y. Sharykin |
| collection | DOAJ |
| description | The article discusses the implementation in Java of the stochastic collaborative virus defense model developed within the framework of the Distributed Object-Based Stochastic Hybrid Systems (DOBSHS) model and its analysis. The goal of the work is to test the model in conditions close to the real world on the way to introducing its use in the practical environment. We propose a method of translating a system specification in the SHYMaude language, intended for the specification and analysis of DOBSHS models in the rewriting logic framework, into the corresponding Java implementation. The resulting Java system is deployed on virtual machines, the virus and the group virus alert system are modeled stochastically. To analyze the system we use several metrics, such as the saturation time of the virus propagation, the proportion of infected nodes upon reaching saturation and the maximal virus propagation speed. We use Monte Carlo method with the computation of confidence intervals to obtain estimates of the selected metrics. We perform analysis on the basis of the sigmoid virus propagation graph over time in the presence of the defense system. We implemented two versions of the system using two protocols for transmitting messages between nodes, TCP/IP and UDP. We measured the influence of the protocol type and the associated costs on the defense system effectiveness. To assess the potential of cost reduction associated with the use of different message transmission protocols, we performed analysis of the original DOBSHS model modified to model message transmission delays. We measured the influence of other model parameters important for the next steps towards the practical use of the model. To address the system scalability, we propose a hierarchical approach to the system design to make possible its use with a large number of nodes. |
| format | Article |
| id | doaj-art-935dd7cb04694a2da365ef67db9c2a90 |
| institution | Kabale University |
| issn | 2309-4923 2414-0481 |
| language | English |
| publishDate | 2022-01-01 |
| publisher | Belarusian National Technical University |
| record_format | Article |
| series | Системный анализ и прикладная информатика |
| spelling | doaj-art-935dd7cb04694a2da365ef67db9c2a902025-02-03T11:37:40ZengBelarusian National Technical UniversityСистемный анализ и прикладная информатика2309-49232414-04812022-01-0104627010.21122/2309-4923-2021-4-62-70405Approbation of the stochastic group virus protection modelR. Y. Sharykin0Belarusian State UniversityThe article discusses the implementation in Java of the stochastic collaborative virus defense model developed within the framework of the Distributed Object-Based Stochastic Hybrid Systems (DOBSHS) model and its analysis. The goal of the work is to test the model in conditions close to the real world on the way to introducing its use in the practical environment. We propose a method of translating a system specification in the SHYMaude language, intended for the specification and analysis of DOBSHS models in the rewriting logic framework, into the corresponding Java implementation. The resulting Java system is deployed on virtual machines, the virus and the group virus alert system are modeled stochastically. To analyze the system we use several metrics, such as the saturation time of the virus propagation, the proportion of infected nodes upon reaching saturation and the maximal virus propagation speed. We use Monte Carlo method with the computation of confidence intervals to obtain estimates of the selected metrics. We perform analysis on the basis of the sigmoid virus propagation graph over time in the presence of the defense system. We implemented two versions of the system using two protocols for transmitting messages between nodes, TCP/IP and UDP. We measured the influence of the protocol type and the associated costs on the defense system effectiveness. To assess the potential of cost reduction associated with the use of different message transmission protocols, we performed analysis of the original DOBSHS model modified to model message transmission delays. We measured the influence of other model parameters important for the next steps towards the practical use of the model. To address the system scalability, we propose a hierarchical approach to the system design to make possible its use with a large number of nodes.https://sapi.bntu.by/jour/article/view/539совместная антивирусная защитаматематическое моделированиераспределенные системыстохастические системыстатистический анализ |
| spellingShingle | R. Y. Sharykin Approbation of the stochastic group virus protection model Системный анализ и прикладная информатика совместная антивирусная защита математическое моделирование распределенные системы стохастические системы статистический анализ |
| title | Approbation of the stochastic group virus protection model |
| title_full | Approbation of the stochastic group virus protection model |
| title_fullStr | Approbation of the stochastic group virus protection model |
| title_full_unstemmed | Approbation of the stochastic group virus protection model |
| title_short | Approbation of the stochastic group virus protection model |
| title_sort | approbation of the stochastic group virus protection model |
| topic | совместная антивирусная защита математическое моделирование распределенные системы стохастические системы статистический анализ |
| url | https://sapi.bntu.by/jour/article/view/539 |
| work_keys_str_mv | AT rysharykin approbationofthestochasticgroupvirusprotectionmodel |