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