ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

In this paper a method of protection of the Grid from malicious software via software formal properties monitoring and statical analysis is proposed. Also, on abstract domain of n-dimensional binary vectors and memory cell model, allowing the identification of potentially malicious software are prop...

Full description

Bibliographic Details
Main Author: Алексей Алексеевич Станкевичус
Format: Article
Language:English
Published: Moscow Engineering Physics Institute 2009-06-01
Series:Bezopasnostʹ Informacionnyh Tehnologij
Online Access:https://bit.mephi.ru/index.php/bit/article/view/881
Description
Summary:In this paper a method of protection of the Grid from malicious software via software formal properties monitoring and statical analysis is proposed. Also, on abstract domain of n-dimensional binary vectors and memory cell model, allowing the identification of potentially malicious software are proposed.
ISSN:2074-7128
2074-7136