DSpace Institutional Repository of Vadym Hetman Kyiv National Economic University
 

iRKNEU >
Інститут інформаційних технологій в економіці >
Кафедра інформаційного менеджменту >

Please use this identifier to cite or link to this item: http://ir.kneu.edu.ua/handle/2010/4612

Название: Особливості перевірки властивостей безпеки програм методом статичного аналізу
Авторы: Бєгун, Анатолій Володимирович
Ключевые слова: властивість програми
безпека програм
методи аналізу
статичний аналіз програм
решітка
потоки даних
property of the programs
program’s safety
methods of analysis
static analysis of programs
grille
data streams
свойство программы
безопасность программ
методы анализа
статический анализ программ
решетка
потоки данных
Submit Date: 2014-07-10T11:51:51Z
Issue Date: 24-Apr-2013
Издатель: ДВНЗ «Київський національний університет імені Вадима Гетьмана»
Библиографическое описание: Бєгун А. В. Особливості перевірки властивостей безпеки програм методом статичного аналізу / А. В. Бєгун // Моделювання та інформаційні системи в економіці : зб. наук. пр. / М-во освіти і науки України, ДВНЗ «Київ. нац. екон. ун-т ім. Вадима Гетьмана» ; редкол.: В. К. Галіцин (відп. ред.) [та ін.]. – Київ : КНЕУ, 2013. – № 88. – С. 132–138.
Краткий осмотр (реферат): Стаття присвячена аналізу розвитку засобів безпеки програмних систем. Основну увагу приділено перевірки програмних продуктів методом статичного аналізу, який дозволяє розпізнавати властивості обчислень програм без проведення тестових експериментів.
The article is devoted to analysis of the development of security software systems. The paper focuses on the validation of software using static analysis which allows identifying the calculation properties of programs without test experiments.
Статья посвящена анализу развития средств безопасности программных систем. Основное внимание уделяется проверке программных продуктов методом статического анализа, который позволяет распознавать свойства вычислений программ без проведения тестовых экспериментов.
URI: http://ir.kneu.edu.ua/handle/2010/4612
Appears in Collections:Випуск № 88
Кафедра інформаційного менеджменту

Files in This Item:

File Description SizeFormat
model_is_ekon_88_13_(132-138).pdf325,68 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

DSpace Software Copyright © 2002-2010  Duraspace - Feedback