ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
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: |
Joint Stock Company "Experimental Scientific and Production Association SPELS
2009-06-01
|
| Series: | Безопасность информационных технологий |
| Online Access: | https://bit.mephi.ru/index.php/bit/article/view/881 |
| _version_ | 1797725370118569984 |
|---|---|
| author | Алексей Алексеевич Станкевичус |
| author_facet | Алексей Алексеевич Станкевичус |
| author_sort | Алексей Алексеевич Станкевичус |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-12T10:30:12Z |
| format | Article |
| id | doaj.art-ed66dd77408348edbe0f7ed54b632a01 |
| institution | Directory Open Access Journal |
| issn | 2074-7128 2074-7136 |
| language | English |
| last_indexed | 2024-03-12T10:30:12Z |
| publishDate | 2009-06-01 |
| publisher | Joint Stock Company "Experimental Scientific and Production Association SPELS |
| record_format | Article |
| series | Безопасность информационных технологий |
| spelling | doaj.art-ed66dd77408348edbe0f7ed54b632a012023-09-02T09:22:39ZengJoint Stock Company "Experimental Scientific and Production Association SPELSБезопасность информационных технологий2074-71282074-71362009-06-011626769871ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯАлексей Алексеевич Станкевичус0Московский инженерно-физический институт (государственный университет)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.https://bit.mephi.ru/index.php/bit/article/view/881 |
| spellingShingle | Алексей Алексеевич Станкевичус ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ Безопасность информационных технологий |
| title | ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ |
| title_full | ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ |
| title_fullStr | ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ |
| title_full_unstemmed | ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ |
| title_short | ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ |
| title_sort | применение верификации для защиты грид от вредоносного программного обеспечения |
| url | https://bit.mephi.ru/index.php/bit/article/view/881 |
| work_keys_str_mv | AT aleksejalekseevičstankevičus primenenieverifikaciidlâzaŝitygridotvredonosnogoprogrammnogoobespečeniâ |