Title: An Algebraic Approach for the Detection of Vulnerabilities in Software Systems

Year of Publication: Jul - 2017
Page Numbers: 53-60
Authors: Oleksandr Letychevskyi, Vadim Sukhomlinov
Conference Name: The Third International Conference on Electronics and Software Science (ICESS2017)
- Japan


The paper presents an algebraic approach for finding vulnerabilities in a program system that is given as the sequence of processor instructions. The main result of the paper is the transformation of code to algebraic specifications and providing its symbolic modeling for the detection of vulnerability cases that are presented as formulas in logic language. The method anticipates the usage of solving and proving systems integrated with the Algebraic Programming System developed by the authors. A given example illustrates the method.