Logo BSU

Please use this identifier to cite or link to this item: https://elib.bsu.by/handle/123456789/245464
Title: Применение формальных методов при проектировании коллаборационной системы противовирусной защиты
Other Titles: Application of formal methods in the design of a collaborative virus defense system / R. E. Sharykin, A. N. Kourbatski
Authors: Шарыкин, Р. Е.
Курбацкий, А. Н.
Keywords: ЭБ БГУ::ОБЩЕСТВЕННЫЕ НАУКИ::Информатика
ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Математика
Issue Date: 2020
Publisher: Минск : БГУ
Citation: Журнал Белорусского государственного университета. Математика. Информатика = Journal of the Belarusian State University. Mathematics and Informatics. - 2020. - № 1. - С. 59-69
Abstract: Предлагается подход, позволяющий исследовать математическую модель системы защиты от вирусов на этапе ее проектирования с помощью статистического анализа исполняемой спецификации модели, основанной на формализме распределенных объектно ориентированных стохастических гибридных систем (РООСГС). Важными аспектами модели являются ее распределенный и вероятностный характер. Эти аспекты делают модель более сложной для проведения атак, но в то же время значительно усложняют понимание ее свойств разработчиком. На данном примере мы показываем, как с помощью использования спецификации системы в качестве модели РООСГС вкупе со статистическим анализом можно исследовать ее свойства на раннем этапе проектирования и как с применением данного подхода можно обнаружить «дефекты» модели и исправить их еще в процессе ее создания.
Abstract (in another language): This article proposes an approach that allows us to study a mathematical model of a virus protection system at the stage of its design using statistical analysis of an executable model specification based on the formalism of Distributed Object Based Stochastic Hybrid Systems (DOBSHS). Important aspects of the model are its distributed and probabilistic nature. These aspects make the model more difficult to carry out attacks, but at the same time significantly complicate the understanding of its properties by the developer. In this example, we show how, using the specification of the system as a DOBSHS model, coupled with its statistical analysis, we can investigate its properties at an early stage of design and how, using this approach, we can detect «defects» of the model and correct them during the process of creating the model.
URI: https://elib.bsu.by/handle/123456789/245464
ISSN: 1561-834X
DOI: 10.33581/2520-6508-2020-1-59-69
Licence: info:eu-repo/semantics/openAccess
Appears in Collections:2020, №1

Files in This Item:
File Description SizeFormat 
59-69.pdf545,8 kBAdobe PDFView/Open
Show full item record Google Scholar



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.