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...
Uložené v:
| Vydané v: | Sistemnyĭ analiz i prikladnai͡a︡ informatika. číslo 4; s. 62 - 70 |
|---|---|
| Hlavný autor: | |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Belarusian National Technical University
05.01.2022
|
| Predmet: | |
| ISSN: | 2309-4923, 2414-0481 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | Sharykin, R. Y. |
| Author_xml | – sequence: 1 givenname: R. Y. surname: Sharykin fullname: Sharykin, R. Y. organization: Belarusian State University |
| BookMark | eNo9kNtKAzEQQIMoWGu_wf2B6GSSTTa-leKlUPBFn0Nu2660zZJsBf_ebas-zTAcDsO5IZf7tI-E3DG4R8YQH5CDpkIjpwjIqKASqYILMkHBBAXRsMtx_4OuyayUzgFKrRAAJuRx3vc5OTt0aV-ltho2sSpD8htbhs5X65wOffXV5UOpRm6I_gTuUojbW3LV2m2Js985JR_PT--LV7p6e1ku5ivqmeRAHTJQQgjHUbIIXjAvQgMuuqibJrbAo4Ua6ti2yANTEBvtsW4Ui-ibGPiULM_ekOyn6XO3s_nbJNuZ0yHltbF5fHYbjeZ1CMo7EFILi8FyOXqlCm5UWg2jS51dPqdScmz_fQzMqag5xjLHWOZY1Agj0SjgPwXraqM |
| Cites_doi | 10.1016/0304-3975(92)90182-F 10.33581/2520-6508-2019-2-52-61 10.1109/PADS.2005.13 10.33581/2520-6508-2020-1-59-69 10.1016/j.entcs.2005.10.040 10.1007/11513988_26 10.1109/.2006.1629456 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION DOA |
| DOI | 10.21122/2309-4923-2021-4-62-70 |
| DatabaseName | CrossRef DOAJ Directory of Open Access Journals |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | CrossRef |
| Database_xml | – sequence: 1 dbid: DOA name: Directory of Open Access Journals url: https://www.doaj.org/ sourceTypes: Open Website |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 2414-0481 |
| EndPage | 70 |
| ExternalDocumentID | oai_doaj_org_article_935dd7cb04694a2da365ef67db9c2a90 10_21122_2309_4923_2021_4_62_70 |
| GroupedDBID | AAYXX ALMA_UNASSIGNED_HOLDINGS CITATION GROUPED_DOAJ OK1 |
| ID | FETCH-LOGICAL-c1630-b2107444b3261e0c41c4d80bebe988ef03ea0505eff23d170e89c25871e2c8ed3 |
| IEDL.DBID | DOA |
| ISSN | 2309-4923 |
| IngestDate | Fri Oct 03 12:37:58 EDT 2025 Sat Nov 29 03:13:38 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Language | English |
| License | https://sapi.bntu.by/jour/about/editorialPolicies#openAccessPolicy |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c1630-b2107444b3261e0c41c4d80bebe988ef03ea0505eff23d170e89c25871e2c8ed3 |
| OpenAccessLink | https://doaj.org/article/935dd7cb04694a2da365ef67db9c2a90 |
| PageCount | 9 |
| ParticipantIDs | doaj_primary_oai_doaj_org_article_935dd7cb04694a2da365ef67db9c2a90 crossref_primary_10_21122_2309_4923_2021_4_62_70 |
| PublicationCentury | 2000 |
| PublicationDate | 2022-01-05 |
| PublicationDateYYYYMMDD | 2022-01-05 |
| PublicationDate_xml | – month: 01 year: 2022 text: 2022-01-05 day: 05 |
| PublicationDecade | 2020 |
| PublicationTitle | Sistemnyĭ analiz i prikladnai͡a︡ informatika. |
| PublicationYear | 2022 |
| Publisher | Belarusian National Technical University |
| Publisher_xml | – name: Belarusian National Technical University |
| References | ref8 ref7 ref4 cr-split#-ref9.2 ref3 ref6 ref5 ref10 ref1 cr-split#-ref9.1 cr-split#-ref2.1 cr-split#-ref2.2 |
| References_xml | – ident: ref6 doi: 10.1016/0304-3975(92)90182-F – ident: ref7 doi: 10.33581/2520-6508-2019-2-52-61 – ident: #cr-split#-ref9.1 – ident: ref4 doi: 10.33581/2520-6508-2019-2-52-61 – ident: #cr-split#-ref2.1 doi: 10.1109/PADS.2005.13 – ident: ref1 doi: 10.33581/2520-6508-2020-1-59-69 – ident: #cr-split#-ref9.2 – ident: ref5 doi: 10.1016/j.entcs.2005.10.040 – ident: ref8 doi: 10.1007/11513988_26 – ident: ref10 – ident: ref3 doi: 10.1109/.2006.1629456 – ident: #cr-split#-ref2.2 |
| SSID | ssib026972000 ssj0001611260 |
| Score | 2.1681302 |
| Snippet | The article discusses the implementation in Java of the stochastic collaborative virus defense model developed within the framework of the Distributed... |
| SourceID | doaj crossref |
| SourceType | Open Website Index Database |
| StartPage | 62 |
| SubjectTerms | математическое моделирование распределенные системы совместная антивирусная защита статистический анализ стохастические системы |
| Title | Approbation of the stochastic group virus protection model |
| URI | https://doaj.org/article/935dd7cb04694a2da365ef67db9c2a90 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: Directory of Open Access Journals customDbUrl: eissn: 2414-0481 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0001611260 issn: 2309-4923 databaseCode: DOA dateStart: 20130101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV07T8MwELZQxQAD4inKSx5Yo7q24wdbQVRMFQNI3SzHdkSXFvX1-7lzQgkTC6tlRdF3p_j7nLvvCLmXWrLAsShMKVtIkXThra-KJEQtGI9Do30eNqEnEzOd2tfOqC-sCWvsgRvgBlaUMepQoY6TnkcvVJlqpWNlA_c2q3VgPR0xBZnEldXYg_Jz26KwVYblSXN5rBoXTbEX6B_OB7tFSBoOmqpQQDvZr6Oq4-ifj57xMTlqOSMdNe96QvbS_JQcdpwEz8jDCL3BqwwzXdQUaB0FWhc-PPow09y7Qbez5WZFW2cG3JjH4JyT9_Hz29NL0Y5FKAKQJ1ZUHIsopayAeQ0TC3IYZDSsgnBYY1LNRPI4ny7VNRdxqFkyAFUJyijxYFIUF6Q3X8zTJaEcf2YBWBE-edIGZkWsmReGhaQNs6FP2DcC7rNxv3CgGjJoDkFzCJpD0Jx0ijvN-uQRkdptR_vqvABBdW1Q3V9BvfqPh1yTA469CnhfUt6Q3nq5SbdkP2zXs9XyLufLFxplvM4 |
| linkProvider | Directory of Open Access Journals |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Approbation+of+the+stochastic+group+virus+protection+model&rft.jtitle=Sistemny%C4%AD+analiz+i+prikladnai%CD%A1a%EF%B8%A1+informatika.&rft.au=Sharykin%2C+R.+Y.&rft.date=2022-01-05&rft.issn=2309-4923&rft.eissn=2414-0481&rft.issue=4&rft.spage=62&rft.epage=70&rft_id=info:doi/10.21122%2F2309-4923-2021-4-62-70&rft.externalDBID=n%2Fa&rft.externalDocID=10_21122_2309_4923_2021_4_62_70 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2309-4923&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2309-4923&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2309-4923&client=summon |