AN OVERVIEW OF THE MODERN METHODS OF SECURITY AND PROTECTION OF SOFTWARE SYSTEMS

摘要

Security and protection of software resources are one of the most important issues in the IT industry since attackers' actions become increasingly sophisticated and losses caused by cyberattacks are growing. Traditional methods of cyberattack prevention become inefficient; therefore, development of new methods and tools to secure software resources becomes of essential need. The studies that are based on formal methods with the use of modern algebraic theories are especially interesting and promising.