Использование формальных методов на ранних этапах проектирования коллаборационной системы противовирусной защиты

Abstract

Предлагается подход, позволяющий исследовать математическую модель системы защиты от вирусов на этапе ее проектирования с помощью статистического анализа исполняемой спецификации модели, основанной на формализме Распределенных Объектно-Ориентированных Стохастических Систем. Важными аспектами модели является ее распределенный и вероятностный характер. Эти аспекты делают модель более сложной для проведения атак, но в то же время значительно усложняют понимание ее свойств разработчиком. На данном примере мы показываем, как используя спецификацию системы как модели Распределенных Объектно-Ориентированных Стохастических Систем, вкупе с ее статистическим анализом, мы можем исследовать ее свойства на раннем этапе проектирования, и как, с помощью данного подхода, мы можем обнаружить «дефекты» модели и исправить их еще в процессе создания модели