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

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

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
id doaj-ed66dd77408348edbe0f7ed54b632a01
record_format Article
spelling doaj-ed66dd77408348edbe0f7ed54b632a012020-11-24T20:50:18ZengMoscow Engineering Physics Institute Bezopasnostʹ Informacionnyh Tehnologij2074-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
collection DOAJ
language English
format Article
sources DOAJ
author Алексей Алексеевич Станкевичус
spellingShingle Алексей Алексеевич Станкевичус
ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Bezopasnostʹ Informacionnyh Tehnologij
author_facet Алексей Алексеевич Станкевичус
author_sort Алексей Алексеевич Станкевичус
title ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
title_short ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
title_full ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
title_fullStr ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
title_full_unstemmed ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
title_sort применение верификации для защиты грид от вредоносного программного обеспечения
publisher Moscow Engineering Physics Institute
series Bezopasnostʹ Informacionnyh Tehnologij
issn 2074-7128
2074-7136
publishDate 2009-06-01
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.
url https://bit.mephi.ru/index.php/bit/article/view/881
work_keys_str_mv AT aleksejalekseevičstankevičus primenenieverifikaciidlâzaŝitygridotvredonosnogoprogrammnogoobespečeniâ
_version_ 1716804159406080000

Similar Items