Особливості перевірки властивостей безпеки програм методом статичного аналізу
| dc.contributor.author | Бєгун, Анатолій Володимирович | uk |
| dc.date.accessioned | 2014-07-10T11:51:51Z | |
| dc.date.available | 2014-07-10T11:51:51Z | |
| dc.date.issued | 2013-04-24 | |
| dc.description.abstract | Стаття присвячена аналізу розвитку засобів безпеки програмних систем. Основну увагу приділено перевірки програмних продуктів методом статичного аналізу, який дозволяє розпізнавати властивості обчислень програм без проведення тестових експериментів. | uk |
| dc.description.abstract | 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. | en |
| dc.description.abstract | Статья посвящена анализу развития средств безопасности программных систем. Основное внимание уделяется проверке программных продуктов методом статического анализа, который позволяет распознавать свойства вычислений программ без проведения тестовых экспериментов. | ru |
| dc.identifier.citation | Бєгун А. В. Особливості перевірки властивостей безпеки програм методом статичного аналізу / А. В. Бєгун // Моделювання та інформаційні системи в економіці : зб. наук. пр. / М-во освіти і науки України, ДВНЗ «Київ. нац. екон. ун-т ім. Вадима Гетьмана» ; редкол.: В. К. Галіцин (відп. ред.) [та ін.]. – Київ : КНЕУ, 2013. – № 88. – С. 132–138. | uk |
| dc.identifier.uri | https://ir.kneu.edu.ua:443/handle/2010/4612 | |
| dc.language.iso | uk | uk |
| dc.publisher | ДВНЗ «Київський національний університет імені Вадима Гетьмана» | uk |
| dc.subject | властивість програми | uk |
| dc.subject | безпека програм | uk |
| dc.subject | методи аналізу | uk |
| dc.subject | статичний аналіз програм | uk |
| dc.subject | решітка | uk |
| dc.subject | потоки даних | uk |
| dc.subject | property of the programs | en |
| dc.subject | program’s safety | en |
| dc.subject | methods of analysis | en |
| dc.subject | static analysis of programs | en |
| dc.subject | grille | en |
| dc.subject | data streams | en |
| dc.subject | свойство программы | ru |
| dc.subject | безопасность программ | ru |
| dc.subject | методы анализа | ru |
| dc.subject | статический анализ программ | ru |
| dc.subject | решетка | ru |
| dc.subject | потоки данных | ru |
| dc.subject.udc | 519.876.2:004.4 | uk |
| dc.title | Особливості перевірки властивостей безпеки програм методом статичного аналізу | uk |
| dc.type | Article | uk |