Using algebraic models of programs for detecting metamorphic malwaresстатья