Geodesic
Application of formal methods in the design of a collaborative virus defense system
Journal of the Belarusian State University. Mathematics and Informatics, Tome 1 (2020), pp. 59-69

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Keywords: mathematical modeling; hybrid systems;stochastic systems; modelspecification; collaborative virus defense. 
@article{BGUMI_2020_1_a6,
     author = {R. E. Sharykin and A. N. Kurbatskii},
     title = {Application of formal methods in the design of a collaborative virus defense system},
     journal = {Journal of the Belarusian State University. Mathematics and Informatics},
     pages = {59--69},
     publisher = {mathdoc},
     volume = {1},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/BGUMI_2020_1_a6/}
}
TY  - JOUR
AU  - R. E. Sharykin
AU  - A. N. Kurbatskii
TI  - Application of formal methods in the design of a collaborative virus defense system
JO  - Journal of the Belarusian State University. Mathematics and Informatics
PY  - 2020
SP  - 59
EP  - 69
VL  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BGUMI_2020_1_a6/
LA  - ru
ID  - BGUMI_2020_1_a6
ER  - 
%0 Journal Article
%A R. E. Sharykin
%A A. N. Kurbatskii
%T Application of formal methods in the design of a collaborative virus defense system
%J Journal of the Belarusian State University. Mathematics and Informatics
%D 2020
%P 59-69
%V 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BGUMI_2020_1_a6/
%G ru
%F BGUMI_2020_1_a6
R. E. Sharykin; A. N. Kurbatskii. Application of formal methods in the design of a collaborative virus defense system. Journal of the Belarusian State University. Mathematics and Informatics, Tome 1 (2020), pp. 59-69. http://geodesic.mathdoc.fr/item/BGUMI_2020_1_a6/