“Cybersecurity. System for definition of attacker behavior”

The project has been started together with the Glushkov Institue of Cybernetic in 2017. The goal of the project is to use the formal methods in the detection of attack and vulnerability in the software systems.

One of the decisions is the usage of behavior algebra algorithms and theory of insertion modeling. Types of intruder attacks from CVE database, especially Meltdown and Spectre are presented as behavior algebra expression and detection of vulnerability is defined by resolving of behavior algebra.

For more details, please see our last conference paper:


Our approach presentation: 

© 2018 LitSoft Enterprise R&D. All Rights Reserved. Designed By JoomLead