Огляд сучасних методів захищеності та безпеки програмних систем
Показано, що безпека та захищеність програмних ресурсів нині є однією з найбільш актуальних проблем в ІТ-галузі, оскільки дії зловмисників стають дедалі більш загрозливими, а збитки від кібератак збільшуються. Традиційні методи боротьби з кібератаками втрачають свою ефективність, тому розроблення но...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2019 |
| Main Authors: | , , , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2019
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/181039 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Огляд сучасних методів захищеності та безпеки програмних систем / О.О. Летичевський, В.С. Песчаненко, Я.В. Гринюк, В.Ю. Радченко, В.М. Яковлев // Кибернетика и системный анализ. — 2019. — Т. 55, № 5. — С. 156-169. — Бібліогр.: 28 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862607346668142592 |
|---|---|
| author | Летичевський, О.О. Песчаненко, В.С. Гринюк, Я.В. Радченко, В.Ю. Яковлев, В.М. |
| author_facet | Летичевський, О.О. Песчаненко, В.С. Гринюк, Я.В. Радченко, В.Ю. Яковлев, В.М. |
| citation_txt | Огляд сучасних методів захищеності та безпеки програмних систем / О.О. Летичевський, В.С. Песчаненко, Я.В. Гринюк, В.Ю. Радченко, В.М. Яковлев // Кибернетика и системный анализ. — 2019. — Т. 55, № 5. — С. 156-169. — Бібліогр.: 28 назв. — укр. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Показано, що безпека та захищеність програмних ресурсів нині є однією з найбільш актуальних проблем в ІТ-галузі, оскільки дії зловмисників стають дедалі більш загрозливими, а збитки від кібератак збільшуються. Традиційні методи боротьби з кібератаками втрачають свою ефективність, тому розроблення нових методів і засобів захисту програмних ресурсів є нагальною потребою. Особливо цікавими і перспективними є розробки, які ґрунтуються на формальних методах з використанням сучасних алгебраїчних теорій.
Показано, что в настоящее время безопасность и защищенность программных ресурсов является одной из наиболее актуальных проблем в ИТ-отрасли, поскольку действия злоумышленников становятся все более изощренными, а убытки от кибератак растут. Традиционные методы борьбы с кибератаками теряют свою эффективность, поэтому разработка новых методов и средств защиты программных ресурсов является насущной потребностью. Особенно интересными и перспективными являются разработки, базирующиеся на формальных методах с использованием современных алгебраических теорий.
Security and protection of software resources are one of the most important problems in the IT industry since attackers’ actions become increasingly sophisticated and losses caused by cyberattacks are growing. Traditional methods of cyberattack prevention become inefficient; therefore, development of new methods and tools to secure software resources becomes of essential need. The studies that are based on formal methods with the use of modern algebraic theories are especially interesting and promising.
|
| first_indexed | 2025-11-28T14:22:10Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-181039 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1019-5262 |
| language | Ukrainian |
| last_indexed | 2025-11-28T14:22:10Z |
| publishDate | 2019 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Летичевський, О.О. Песчаненко, В.С. Гринюк, Я.В. Радченко, В.Ю. Яковлев, В.М. 2021-10-29T18:12:42Z 2021-10-29T18:12:42Z 2019 Огляд сучасних методів захищеності та безпеки програмних систем / О.О. Летичевський, В.С. Песчаненко, Я.В. Гринюк, В.Ю. Радченко, В.М. Яковлев // Кибернетика и системный анализ. — 2019. — Т. 55, № 5. — С. 156-169. — Бібліогр.: 28 назв. — укр. 1019-5262 https://nasplib.isofts.kiev.ua/handle/123456789/181039 004.05, 004.4[2+9], 004.94, 519.7 Показано, що безпека та захищеність програмних ресурсів нині є однією з найбільш актуальних проблем в ІТ-галузі, оскільки дії зловмисників стають дедалі більш загрозливими, а збитки від кібератак збільшуються. Традиційні методи боротьби з кібератаками втрачають свою ефективність, тому розроблення нових методів і засобів захисту програмних ресурсів є нагальною потребою. Особливо цікавими і перспективними є розробки, які ґрунтуються на формальних методах з використанням сучасних алгебраїчних теорій. Показано, что в настоящее время безопасность и защищенность программных ресурсов является одной из наиболее актуальных проблем в ИТ-отрасли, поскольку действия злоумышленников становятся все более изощренными, а убытки от кибератак растут. Традиционные методы борьбы с кибератаками теряют свою эффективность, поэтому разработка новых методов и средств защиты программных ресурсов является насущной потребностью. Особенно интересными и перспективными являются разработки, базирующиеся на формальных методах с использованием современных алгебраических теорий. Security and protection of software resources are one of the most important problems in the IT industry since attackers’ actions become increasingly sophisticated and losses caused by cyberattacks are growing. Traditional methods of cyberattack prevention become inefficient; therefore, development of new methods and tools to secure software resources becomes of essential need. The studies that are based on formal methods with the use of modern algebraic theories are especially interesting and promising. uk Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Програмно-технічні комплекси Огляд сучасних методів захищеності та безпеки програмних систем Обзор современных методов защищенности и безопасности программных систем Overview of the modern methods of protection and security of software systems Article published earlier |
| spellingShingle | Огляд сучасних методів захищеності та безпеки програмних систем Летичевський, О.О. Песчаненко, В.С. Гринюк, Я.В. Радченко, В.Ю. Яковлев, В.М. Програмно-технічні комплекси |
| title | Огляд сучасних методів захищеності та безпеки програмних систем |
| title_alt | Обзор современных методов защищенности и безопасности программных систем Overview of the modern methods of protection and security of software systems |
| title_full | Огляд сучасних методів захищеності та безпеки програмних систем |
| title_fullStr | Огляд сучасних методів захищеності та безпеки програмних систем |
| title_full_unstemmed | Огляд сучасних методів захищеності та безпеки програмних систем |
| title_short | Огляд сучасних методів захищеності та безпеки програмних систем |
| title_sort | огляд сучасних методів захищеності та безпеки програмних систем |
| topic | Програмно-технічні комплекси |
| topic_facet | Програмно-технічні комплекси |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/181039 |
| work_keys_str_mv | AT letičevsʹkiioo oglâdsučasnihmetodívzahiŝenostítabezpekiprogramnihsistem AT pesčanenkovs oglâdsučasnihmetodívzahiŝenostítabezpekiprogramnihsistem AT grinûkâv oglâdsučasnihmetodívzahiŝenostítabezpekiprogramnihsistem AT radčenkovû oglâdsučasnihmetodívzahiŝenostítabezpekiprogramnihsistem AT âkovlevvm oglâdsučasnihmetodívzahiŝenostítabezpekiprogramnihsistem AT letičevsʹkiioo obzorsovremennyhmetodovzaŝiŝennostiibezopasnostiprogrammnyhsistem AT pesčanenkovs obzorsovremennyhmetodovzaŝiŝennostiibezopasnostiprogrammnyhsistem AT grinûkâv obzorsovremennyhmetodovzaŝiŝennostiibezopasnostiprogrammnyhsistem AT radčenkovû obzorsovremennyhmetodovzaŝiŝennostiibezopasnostiprogrammnyhsistem AT âkovlevvm obzorsovremennyhmetodovzaŝiŝennostiibezopasnostiprogrammnyhsistem AT letičevsʹkiioo overviewofthemodernmethodsofprotectionandsecurityofsoftwaresystems AT pesčanenkovs overviewofthemodernmethodsofprotectionandsecurityofsoftwaresystems AT grinûkâv overviewofthemodernmethodsofprotectionandsecurityofsoftwaresystems AT radčenkovû overviewofthemodernmethodsofprotectionandsecurityofsoftwaresystems AT âkovlevvm overviewofthemodernmethodsofprotectionandsecurityofsoftwaresystems |