ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
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...
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 |
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 |