Бойченко Олег Валерійович. Моделі і методи підвищення стійкості інформаційної системи спеціального призначення : МОДЕЛИ И МЕТОДЫ ПОВЫШЕНИЯ УСТОЙЧИВОСТИ ИНФОРМАЦИОННОЙ СИСТЕМЫ СПЕЦИАЛЬНОГО НАЗНАЧЕНИЯ

Краткое описание

МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ
НАЦІОНАЛЬНИЙ АВІАЦІЙНИЙ УНІВЕРСИТЕТ

На правах рукопису

Бойченко Олег Валерійович

УДК 681.518.3

МОДЕЛІ І МЕТОДИ ПІДВИЩЕННЯ СТІЙКОСТІ
ІНФОРМАЦІЙНОЇ СИСТЕМИ СПЕЦІАЛЬНОГО ПРИЗНАЧЕННЯ

05.13.06 – інформаційні технології

Дисертація на здобуття наукового ступеня
доктора технічних наук

Науковий консультант:
Квасніков Володимир Павлович,
доктор технічних наук, професор

Київ - 2013

ЗМІСТ
Стор.
ПЕРЕЛІК УМОВНИХ ПОЗНАЧЕНЬ…………………………………………………5
ВСТУП………………………………………………………………….........................7

РОЗДІЛ 1 АНАЛІЗ СТАНУ ПРОБЛЕМИ РОЗВИТКУ ІНФОРМАЦІЙНОЇ СИСТЕМИ ПІДТРИМКИ РІШЕНЬ В ПРАВООХОРОННІЙ ДІЯЛЬНОСТІ………………………......................................................16
1.1 Стан розвитку інформаційної системи підтримки рішень в правоохоронній діяльності…................................................................17
1.2 Проблеми функціонування відомчої інформаційної системи підтримки рішень в правоохоронній діяльності…………………........................27
1.3 Організаційно-технічні проблеми захисту даних інформаційної системи підтримки рішень в правоохоронній діяльності……..…….35
1.4 Постановка наукової проблеми……………………………………….43
Висновки до розділу 1…………………………......………….................45

РОЗДІЛ 2 ТЕХНОЛОГІЯ ПОШАРОВОГО ПРОЕКТУВАННЯ СТІЙКОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ІНФОРМАЦІЙНОЇ СИСТЕМИ ПІДТРИМКИ РІШЕНЬ ………………………….................................48
2.1 Основні принципи проектування якісного програмного забезпечення автоматизованих систем управління……..……………......................49
2.2 Сучасні методології проектування програм для роботи з даними інформаційної системи підтримки рішень…..……………………….60
2.3 Методології проектування архітектури специфікації ……………….69
2.3.1 Методології, орієнтовані на оброблення…………………69
2.3.2 Методології, орієнтовані на дані…………………………..76
2.4 Структурне проектування програмного забезпечення складних інформаційних систем реального часу…..…………………………...85
2.4.1 Етап проектування системних зв’язків…………………...88
2.4.2 Етап модульного проектування…………………………...91
2.4.3 Графові моделі прикладного програмного забезпечення..95
Висновки до розділу 2……………………………………………........103
РОЗДІЛ 3 УДОСКОНАЛЕННЯ МЕТОДИЧНОГО АПАРАТУ УПРАВЛІННЯ ЗАХИСТОМ ІНФОРМАЦІЇ В ВІДОМЧІЙ ІНФОРМАЦІЙНІЙ СИСТЕМІ ПІДТРИМКИ РІШЕНЬ ПРАВООХОРОННОЇ ДІЯЛЬНОСТІ…………………………………………………………105
3.1 Концепція інформаційної безпеки в системі інформаційного забезпечення органів внутрішніх справ України…………………..106
3.2 Виявлення несанкціонованого впливу на програмне забезпечення методом застосування тестових інтерфейсів та застосування інших прийомів забезпечення усталеності програмного забезпечення…….113
3.3 Удосконалення методу паролів в управлінні захистом інформації інформаційної системи підтримки рішень………………………….127
3.4 Математичне моделювання вибору раціонального розміру блоків програмного забезпечення інформаційної системи, що підлягають захисту…………………………………..…………………………….135
Висновки до розділу 3………………………………………….............141

РОЗДІЛ 4 УДОСКОНАЛЕННЯ МЕТОДИЧНОГО АПАРАТУ ФОРМУВАННЯ Й ВИКОРИСТАННЯ ІНФОРМАЦІЙНИХ РЕСУРСІВ ІНФОРМАЦІЙНОЇ СИСТЕМІ ПІДТРИМКИ РІШЕНЬ...…………143
4.1 Методи й алгоритми оброблення інформації в інформаційній системі підтримки рішень…………………………………………………….144
4.2 Методи забезпечення показників доступності та достовірності даних інформаційної системи підтримки рішень………………………….161
4.3 Управління потоками даних функціонального призначення в інформаційній системі підтримки рішень…………………………..172
4.4 Методика кількісного визначення масштабності та повноти даних інформаційної системи підтримки рішень із застосуванням методу розпізнавання зображення.…………………………………………..184
Висновки до розділу 4…………………..................................................195

РОЗДІЛ 5 НАУКОВО-ТЕХНІЧНЕ ОБҐРУНТУВАННЯ ВПРОВАДЖЕННЯ СТІЙКОЇ ІСПР ПРАВООХОРОННОЇ ДІЯЛЬНОСТІ.........................196
5.1 Розроблення методики введення, зберігання та надання інформації для забезпечення автоматизації підтримки рішень в інформаційній системі підтримки рішень……………...................................................197
5.2 Методологія тестових випробувань стійкості розробленого комплексу програмно-технічних засобів щодо несанкціонованого впливу на програмне забезпечення...……………………………………………..218
5.3 Методологія тестових випробувань стійкості інформаційної системи підтримки рішень на основі розробленої технології пошарового проектування стійкого програмного забезпечення щодо фіксації несанкціонованого впливу на програмне забезпечення..……………236
Висновки до розділу 5…………………………………............................261

ВИСНОВКИ………………………………………………………………....................263

СПИСОК ВИКОРИСТАНИХ ДЖЕРЕЛ……………………………………………..271

ДОДАТКИ

ПЕРЕЛІК УМОВНИХ ПОЗНАЧЕНЬ
Скорочення Детальна розшифровка
АПР автоматизація підтримки рішень
АРМ автоматизоване робоче місце
АСУ автоматизована система управління
АСОІ автоматизована система оперативного інформування
АСУТП автоматизована система управління технологічними процесами
БПТК базовий програмно-технічний комплекс
ГУМВС головне управління міністерства внутрішніх справ
ЗП зовнішня пам’ять
ЕС експертна система
ІАЗ інформаційно-аналітичне забезпечення
ІАС інформаційно-аналітична система
ІЗ інформаційне забезпечення
ІЗПР інформаційне забезпечення підтримки рішень
ІП інформаційна підсистема
ІПС інформаційно-пошукова система
ІР інформаційний ресурс
ІС інформаційна система
ІСПР інформаційна система підтримки рішень
КСПУР комп’ютерні системи підтримки ухвалення рішення
НДКЦ науково-дослідний криміналістичний центр
НСВ несанкціонований вплив
ОВС органи внутрішніх справ
ОЗ обчислювальні засоби
ОЗП оперативний запам’ятовуючий пристрій
ОС операційна система
ПЗ програмне забезпечення

Скорочення Детальна розшифровка
ПІ потік інформації
ППСПЗ пошарове проектування стійкого програмного забезпечення
ПВП проектування вертикальними прошарками
ПР покрокова розробка
ПВВ пристрій вводу-виведення
ППП пакет прикладних програм
ППЗ прикладне програмне забезпечення
РІ робочий інтерфейс
СЗД система зберігання даних
СІЗПР система інформаційного забезпечення підтримки рішень
СІЗ ОВС система інформаційного забезпечення органів внутрішніх справ
СЗІ система захисту інформації
СОІПрР система оброблення інформації для прийняття рішень
СПР система підтримки рішень
СППР система підтримки прийняття рішення
СПЗ спеціальне програмне забезпечення
СС синхросимволи
СУБД система управління базами даних
СЦ ситуаційний центр
ТЗІ технічний захист інформації
ТІ тестовий інтерфейс
УБОЗ управління з боротьби з організованою злочинністю

ВСТУП

Актуальність теми. Вирішення проблемних питань, пов’язаних із забезпеченням стійкості функціонування інформаційних систем підтримки рішень (ІСПР) є першочерговим завданням оптимізації правоохоронної діяльності.
Зазначене визначається низкою обставин, а саме: високими вимогами до живучості (стійкості в умовах несанкціонованих впливів (НСВ)) відомчої ІСПР, необхідністю забезпечення якісно нового рівня показників достовірності, доступності, конфіденційності, масштабності та повноти даних ІСПР, а також високими вимогами до внутрішніх та зовнішніх показників якості програмного забезпечення (ПЗ) ІСПР.
У зв’язку з цим актуальним є наукове дослідження процесу розроблення теоретичних основ, моделей та методів проектування стійкого програмного забезпечення ІСПР в правоохоронній діяльності.
Разом з тим, проведений аналіз вказує на невідповідність поточного рівня показників живучості, який здатна реалізовувати існуюча ІСПР, недостатність поточного рівня показників безпечності (захищеності ПЗ від НСВ) функціонування ІСПР, невідповідність характеристик надійності (завершеності, відмово стійкості, відновлюваності) ПЗ ІСПР. Зазначене вказує на невідповідність стійкості ІСПР сучасним вимогам управління правоохоронною діяльністю.
Наведене підтверджується результатами досліджень таких вчених, як В.М.Глушков, А.І. Сбітнєв, О.А. Павлов, О.В. Палагін, І.Б. Сироджа, В.А. Широков, О.В. Барабаш, Р.А. Калюжний, Н.В. Шаронова, М.Я. Швець та інших.
Таким чином, вирішення наукової проблеми, сутністю якої є розроблення теоретичних основ, моделей та методів проектування стійкого ПЗ відомчої ІСПР в правоохоронній діяльності є актуальним для сфери управління організаційною діяльністю установ, оскільки дозволить підвищити ефективність та якість отримання рішення в умовах ризику та невизначеності.
Зв’язок роботи з науковими програмами, планами, темами. Робота спрямована на виконання основних положень Національної програми інформатизації (Закон України №74/98-ВР від 04.02.1998 р. «Про Національну програму інформатизації»). Дослідження виконано відповідно до Наказу МВС України №347 від 27.07.2010 р. «Перелік пріоритетних напрямів наукового забезпечення діяльності органів внутрішніх справ України на період 2010-2014 рр.» п. 3.27 додатку 18, п. 45, 46 додатку 13 та п. 8 додатку 7.
Наукове дослідження по вдосконаленню функціонування існуючих в органах і підрозділах внутрішніх справ України інформаційних обліків проведено відповідно до «Положення про Інтегровану інформаційно-пошукову систему органів внутрішніх справ України», затвердженого Наказом МВС України №436 від 12.10.2009 р., Наказом МВС України №75 від 10.03.2010 р. «Про затвердження Інструкції з організації функціонування Інтегрованої інформаційно-пошукової системи органів внутрішніх справ України», а також відповідно плану науково-дослідної роботи кафедри оперативно-розшукової діяльності та спеціальної техніки Кримського юридичного інституту Одеського державного університету внутрішніх справ на 2010-2011 рр. за темою «Оперативно-розшукові заходи та методи протидії злочинності» (№ державної реєстрації 0110U001546).
Дисертаційна робота виконана на кафедрі інформаційних технологій Національного авіаційного університету у відповідності з планами, які виконувались за рахунок коштів державного бюджету Міністерства освіти і науки України, зокрема: НДР № 655-ДБ10 (2010 р.) «Розробка методології системи інтелектуального керування мобільними роботами» (№ державної реєстрації 0110U000211).
Мета і завдання дослідження. Метою роботи є підвищення надійності та відмовостійкості інформаційних систем спеціального призначення на основі розвитку технології пошарового проектування стійкого програмного забезпечення ІСПР.
Забезпечення стійкості функціонування систем підтримки рішень в ієрархічних багаторівневих структурах управління обгрунтовано невідповідністю науково-методичної бази контролю НСВ на ПЗ ІСПР та об’єктивною необхідністю вдосконалення існуючої ІСПР в правоохоронній діяльності.
Задачі, які необхідно вирішити для досягнення поставленої мети:
1. Проведення аналізу стану проблеми розвитку ІСПР й на цій основі розроблення теоретичних основ, моделей та методів проектування стійкої відомчої ІСПР в правоохоронній діяльності;
2. Удосконалення технології пошарового проектування стійкого програмного забезпечення ІСПР;
3. Удосконалення методичного апарату управління захистом інформації в відомчій ІСПР правоохоронної діяльності;
4. Розроблення математичної моделі оптимізації процесу управління захистом даних в ІСПР правоохоронної діяльності;
5. Удосконалення методичного апарату формування й використання інформаційних ресурсів в ІСПР;
6. Науково-технічне обґрунтування впровадження стійкого ПЗ ІСПР правоохоронної діяльності.
Об’єкт дослідження – процес функціонування відомчої ІСПР в правоохоронній діяльності.
Предмет дослідження – моделі, методи та алгоритми підвищення якості й надійності процесу функціонування відомчої ІСПР в правоохоронній діяльності.
Методи дослідження. Використано такі методи: методи системного аналізу й теорія ієрархічних багаторівневих систем – при вдосконаленні методики раціонального розподілу інформаційних потоків у ІСПР при дефіциті часу; сучасна теорія складних систем та інструментально-орієнтовані технології – у розробленні структурного проектування програмного забезпечення складних інформаційних систем реального часу; теорія формальних та алгоритмічних систем і теорія програмних пакетів – при удосконаленні методики розв’язання криміналістичних завдань дактилоскопічної ідентифікації для реалізації сучасної інформаційної моделі системи підтримки рішень при розслідуванні злочинів; теорія математичного моделювання – для удосконалення математичних моделей оптимізації процесу управління захистом даними в ІСПР правоохоронної діяльності; теорія графів та методології пошарового структурного проектування – у вдосконалення методичного апарату управління захистом даних в ІСПР правоохоронної діяльності.
Наукова новизна одержаних результатів полягає в новому вирішенні важливої наукової проблеми розроблення теоретичних основ, моделей та методів проектування стійкого програмного забезпечення ІСПР в правоохоронній діяльності.
Нові наукові результати полягають у такому:
1. Удосконалено технологію пошарового проектування стійкого програмного забезпечення (ППСПЗ) ІСПР з використанням системного підходу.
Сутність новизни полягає в створенні умов для розроблення специфікацій, що базуються на визнанні факту можливості виникнення перекручувань у роботі ПЗ і обчислювальних засобів (ОЗ).
Відмінність системного підходу до проектування стійкого ПЗ відомчої ІСПР правоохоронної діяльності полягає в розробленні програмних засобів контролю і виправлення помилок у роботі ОЗ, розробленні структури ПЗ, що використовує зворотний зв’язок між підпорядкованим і верхнім рівнем, а також розміщення засобів контролю виконання ПЗ відповідно до рівнів ієрархії в системі.
2. Удосконалено й застосовано метод тестового інтерфейсу, який відрізняється можливістю забезпечення стійкості на рівні макроструктури організуючої системи.
Відмінність методу полягає в застосуванні засобів, які дозволяють виявляти та оброблювати помилки та відмови пристроїв вводу-виводу при обміні; встановлювати перевищення допустимого часу реакції на запит процесора; виявляти звертання до захищених ділянок пам’яті (порушення адресації) та звертання до ресурсу, відсутнього в системі; встановлювати пошкодження ділянок оперативного запам’ятовуючого пристрою, зовнішньої пам’яті та перевантаження черги до ресурсу; виявляти помилки у виклику супервізора операційної системи в командах оператора, помилки переривання схем контролю процесора, помилки при читанні (запису) інформації з зовнішньої пам’яті та ін.
3. Дістало подальшого розвитку застосування методу паролів в управлінні захистом даних ІСПР правоохоронної діяльності, який додатково дозволяє створювати умови для вирішення проблем нелегального входження в ПЗ, а також завдань виправлення помилок в потоці управління через безкінечне та невірне виконання числа циклів. Відмінність методу полягає в створенні самоконтролюючої структури, лічильники якої використовуються як пароль для захисту від нелегального входження та контролю безконечного або невірного числа виконань циклів за двома контрольними точками у циклі та поза циклом.
4. Вперше розроблено математичну модель оптимізації процесу управління захистом інформації в ІСПР правоохоронної діяльності та підвищення функціональності та стійкості системи для підтримки управлінських рішень в діяльності підрозділу ОВС.
Відмінність математичної моделі вибору раціонального розміру блоків ПЗ ІС, що підлягають захисту, полягає в створенні умов для знаходження оптимального числа захищених блоків ПЗ ІСПР, при яких досягається найбільший ефект від захисту.
5. Удосконалено методику розв’язання криміналістичних завдань дактилоскопічної ідентифікації для реалізації сучасної моделі ІСПР під час розслідування злочинів.
Дана методика включає вперше розроблений метод розпізнавання зображення у якісному визначенні масштабності та повноти даних ІСПР щодо підвищення ефективності функціональності відомчої ІСПР для підтримки рішень в діяльності підрозділу органів внутрішніх справ (ОВС).
Відмінність методу полягає застосуванні однакового формату за кольором і розміром елементарних частин для проведення дослідження з порівняння окремого зображення із базовими зображеннями, а також сканування за двома напрямками частин базових зображень з циклічною зміною поточної позиції усередині цих частин по всій їхній площині, фрагменту та координатах.
Це дозволяє отримувати можливість проведення послідовного порівняння досліджуваного зразка з базовим в ідентичних умовах та перевірку усього інформаційного обсягу зображення базового зразка, можливість повної просторової орієнтації зображення для дослідження з базовим об’єктом, що в кінцевому результаті дозволяє максимально точно визначити ступінь збігу досліджуваного зразка з базовим зображенням, можливість вірогідно визначити статус окремого двовимірного зображення щодо заздалегідь відомої базової групи двовимірних експертних зображень і визначити коефіцієнт приналежності, як міри збігу досліджуваного зображення, а також можливість встановлювати приналежність досліджуваного зразка з рівнем достовірності до 98 % при наявності лише (20-25) % фрагменту досліджуваного зразка.
Практичне значення одержаних результатів полягає в доведенні розроблених моделей та методів проектування стійкого ПЗ ІСПР в правоохоронній діяльності до інженерних рішень та створенні на їх основі алгоритмічних та програмно-інструментальних засобів контролю несанкціонованих впливів на програмне забезпечення ІСПР правоохоронної діяльності для підвищення стійкості інформаційної системи спеціального призначення.
Розроблений метод розпізнавання зображення дозволяє забезпечити якісно нові показники достовірності та повноти даних відомчої ІСПР в правоохоронній діяльності.
Розроблена автоматизована система обліку первинної інформації спеціального призначення, яка дозволяє отримувати можливість забезпечення якісно нового рівня показників достовірності та доступності даних, забезпечувати достатню швидкість доступу до даних застосуванням ефективної структури їх зберігання, що побудована з урахуванням правил нормалізації відносин у базі даних, а також отримувати високий рівень доступу до даних застосуванням основних запитів підсистеми за допомогою операторів SQL.
Розроблено метод комплексного захисту інформації в ІСПР, який включає авторизацію користувача і використання криптографічного захисту серверної інформації й відрізняється тим, що в процесі аутентифікації користувача після кроку авторизації виконується крок встановлення правомірності режимів роботи з даними, для чого використовуються захищені від копіювання дані сервера про цифровий підпис, механізм мобільного зворотного зв’язку з голосовою ідентифікацією користувача.
Впроваджено технологію пошарового структурного проектування стійкого програмного забезпечення в ІСПР правоохоронної діяльності. Це дозволяє підвищувати стійкість інформаційної системи щодо НС впливів до 27 %.
Зазначені засоби були використані та впроваджені при створенні комп’ютерної бази даних зразків зображень у складі відомчої інформаційної підсистеми в НДЕКЦ при ГУМВС України в АР Крим (акт впровадження результатів дисертаційного дослідження від 10.10.2011 р.), при розробленні та реалізації підсистеми підтримки прийняття рішень щодо бази первинних інформаційних масивів у складі інтегрованої інформаційної системи ОВС в Державному НДЕКЦ МВС України (акт впровадження результатів дисертаційного дослідження від 12.12.2012 р.), при створенні системи комплексного захисту інформації в автоматизованих системах спеціального призначення в інформаційно-аналітичному відділі УБОЗ ГУМВС України в АР Крим (акт впровадження результатів дисертаційного дослідження від 26.06.2012 р.), у виявленні несанкціонованого впливу на програмне забезпечення із застосуванням методу тестових інтерфейсів та методу паролів у Управлінні інформаційно-аналітичного забезпечення УМВС України в Кіровоградській області (акт впровадження результатів дисертаційного дослідження від 14.11.2012 р.), у навчальному процесі кафедри інформаційних технологій Національного авіаційного університету (акт впровадження результатів дисертаційного дослідження від 16.05.2012 р.) та навчальному процесі кафедри інформаційних технологій Національної академії внутрішніх справ (акт впровадження результатів дисертаційного дослідження від 15.01.2012 р.).
Особистий внесок здобувача. Усі наукові положення та результати дисертаційної роботи, які виносяться на захист, отримано здобувачем особисто. У наукових працях, написаних у співавторстві, безпосередньо здобувачу належить розроблення методу дослідження двовимірного зображення за двома напрямками з циклічною зміною поточної позиції усередині частин зображення [216]; розроблення пакетного режиму визначення приналежності фрагменту до кожного зображення бази даних [217], створення форми двовимірного масиву зі збереженням інформації про колір кожного пікселу зображення для встановлення відповідності досліджуваного зображення [223], застосування методики Width та Height об’єкту Тimage для зберігання зображення в базі даних [224]; розроблення структурної схеми підсистеми первинної обробки даних в інформаційній системі ОВС [251]; розроблення алгоритму виправлення помилок, пов’язаних з порушенням циклової синхронізації в пакетних мережах передачі даних [185]; розроблення математичної моделі створення умов для знаходження оптимального числа захищених блоків ПЗ ІСПР [156]; створення вимог для розроблення специфікацій, що базуються на визнанні факту можливості виникнення перекручувань у роботі обчислювальних і програмних засобів [135].
Апробація результатів дисертації.
Основні результати роботи оприлюднені на наукових та науково-практичних конференціях, у тому числі і міжнародних: «Спеціальна техніка у правоохоронній діяльності» (м. Київ, 2005 р.); «Інтегровані інтелектуальні робототехнічні комплекси (ПРТК-2009, 2010, 2011, 2012)» (м. Київ, 2009-2012 рр.); «Захист в інформаційно-телекомунікаційних системах» ( м. Київ, 2010, 2011 рр.); «АВІА-2010, 2011» (м. Київ, 2010, 2011 рр.); «Комплексне забезпечення якості технологічних процесів та систем» (м. Чернігів, 2011, 2012 рр.); «Стан та удосконалення безпеки інформаційно-телекомунікаційних систем» (м. Миколаїв, 2011 р.); «Проблеми управління телекомунікаційними мережами та послугами» (Крим, с. Партеніт, 2011 р.); «Новітні мережні технології в Україні» (Крим, с. Партеніт, 2011 р.); «Сучасні інформаційно-комунікаційні технології» COMINFO 2011 (Ялта-Лівадія, 2011 р.), «Військова освіта і наука: сьогодення та майбутнє» (м. Київ, 2011 р.), 66 науково-технічна конференція (м. Одеса, 2011 р.), «Актуальні задачі фінансового, психологічного, правового, топогеодезичного, радіотехнічного та лінгвістичного забезпечення підрозділів та частин Збройних Сил України» (м. Київ, 2012 р.).
Публікації. Основні наукові результати дисертації, які відображають особистий внесок автора в їх досягнення, опубліковані в 2 монографіях, 30 статтях (з них 18 одноосібних) у фахових науково-технічних виданнях (з них 10 включені до науково-метричної бази), 24 тезах доповідей на міжнародних та всеукраїнських науково-практичних конференціях і 4 авторських свідоцтвах і патентах України на корисну модель.
Структура та обсяг роботи. Робота складається зі вступу, п’яти розділів, висновків, списку використаних джерел із 260 найменувань та додатків. Повний обсяг друкованого тексту становить 298 сторінок, з них 270 сторінок основного тексту та 28 сторінок списку використаних джерел. Робота містить 49 рисунків та 3 таблиці по тексту і 3 рисунки на окремих сторінках.

Список литературы

ВИСНОВКИ

Коротка оцінка стану питання. Вирішення завдань підвищення ефективності і якості діяльності всіх ланок державного управління стосуються і правоохоронних органів.
Профілактика правопорушень, боротьба із злочинністю, охорона громадського порядку та інші завдання, що вирішуються правоохоронними органами, вимагають подальшого вдосконалення техніки і методів управління на основі сучасних досягнень науки та практики, розроблення і впровадження сучасних інформаційних технологій.
Різноманіття і специфічність задач органів внутрішніх справ, що часто вирішуються в умовах невизначеності, неповної інформації, наявності випадкових чинників і ризику, соціально-психологічних та інших особливостей осіб, схильних до здійснення правопорушень, а також фактів суб’єктивного тлумачення правових норм, вимагають розроблення й дослідження моделей і методів оцінювання якості і підвищення надійності, функціональної безпеки і живучості інформаційних та інформаційно-управляючих систем, а також інформаційних технологій для створення гарантоздатних автоматизованих систем переробки інформації та управління критичного застосування.
Це обумовлює необхідність постійного та системного розвитку інформаційних систем підтримки рішень, що адекватні сучасним умовам правоохоронної діяльності.
Невідповідність науково-методичної бази контролю несанкціонованих впливів на програмне забезпечення ІСПР та об’єктивна необхідність вдосконалення існуючої ІСПР в правоохоронній діяльності щодо вирішення проблеми забезпечення ефективності функціонування систем підтримки рішень в ієрархічних багаторівневих структурах управління визначили потребу у комплексному, науково та економічно обґрунтованому поєднанні завдань щодо: удосконалення технології пошарового проектування стійкого програмного забезпечення ІСПР; удосконалення методичного апарату управління захистом інформації в відомчій ІСПР правоохоронної діяльності; розроблення математичної моделі оптимізації процесу управління захистом даних в ІСПР правоохоронної діяльності; удосконалення методичного апарату формування й використання інформаційних ресурсів в ІСПР; науково-технічного обґрунтування впровадження стійкої ІСПР правоохоронної діяльності.
Формулювання вирішеної в дисертації наукової проблеми. У результаті проведеного аналізу стану проблеми розвитку інформаційної системи підтримки рішень в правоохоронній діяльності, сучасних завдань щодо її багаторівневого висвітлення виявлено невідповідність: між високими вимогами до живучості (стійкості в умовах несанкціонованих впливів) відомчої ІСПР правоохоронної діяльності і поточним рівнем показників живучості, який здатна реалізовувати існуюча ІСПР в умовах функціонування сучасної моделі управління інформаційними потоками в інформаційних системах; між динамікою зміни поточного рівня безпечності функціонування існуючої ІСПР (захищеності програмного забезпечення ІСПР від несанкціонованих впливів), що обумовлена постійною зміною форм оперативно-службової діяльності правоохоронних органів і адекватністю існуючих показників доступності, конфіденційності, масштабності та повноти даних ІСПР правоохоронної діяльності; між високими вимогами до внутрішніх та зовнішніх показників якості програмного забезпечення відомчої ІСПР в правоохоронній діяльності та невідповідністю характеристик надійності (завершеності, відмово стійкості, відновлюваності ПЗ ІСПР; між об’єктивною необхідністю вдосконалення існуючої ІСПР та відсутністю відповідної науково-методичної бази контролю несанкціонованих впливів на програмне забезпечення ІСПР.
Зазначене дозволило сформулювати наукову проблему роботи, сутність якої полягає в розробленні теоретичних основ, моделей та методів проектування стійкого програмного забезпечення ІСПР в правоохоронній діяльності.
Методи вирішення поставленої в дисертації наукової проблеми такі:
методи системного аналізу й теорія ієрархічних багаторівневих систем – при вдосконаленні методики раціонального розподілу інформаційних потоків у ІСПР при дефіциті часу;
сучасна теорія складних систем та інструментально-орієнтовані технології – у розробці структурного проектування програмного забезпечення складних інформаційних систем реального часу;
теорія формальних та алгоритмічних систем і теорія програмних пакетів – при удосконаленні методики розв’язання криміналістичних завдань дактилоскопічної ідентифікації для реалізації сучасної інформаційної моделі системи підтримки рішень при розслідуванні злочинів;
теорія математичного моделювання – для удосконалення математичних моделей оптимізації процесу управління захистом даних в ІСПР правоохоронної діяльності;
теорія графів та методології пошарового структурного проектування – у вдосконаленні методичного апарату управління захистом даних в ІСПР правоохоронної діяльності.
методи емпіричного дослідження – спостереження, порівняння, експеримент.
Реалізація даних методів проведена із використанням математичних методів обробки експериментальних даних, кореляційно – регресійного та дисперсійного аналізу для систематизованого подання отриманих даних, встановлення кількісних залежностей.
У результаті вирішення комплексу взаємопов’язаних часткових завдань отримані такі основні наукові результати дослідження:
1. Удосконалено технологію пошарового проектування стійкого програмного забезпечення відомчої ІСПР правоохоронної діяльності з використанням системного підходу.
Сутність новизни технології полягає в створенні умов для розроблення специфікацій, що базуються на визнанні факту можливості виникнення перекручувань у роботі ПЗ і обчислювальних засобів (ОЗ).
Відмінність системного підходу до проектування стійкого ПЗ відомчої ІСПР правоохоронної діяльності полягає в розробленні програмних засобів контролю і виправлення помилок у роботі ОЗ, розробленні структури ПЗ, що використовує зворотний зв’язок між підпорядкованим і верхнім рівнем, а також розміщення засобів контролю виконання ПЗ відповідно до рівнів ієрархії в системі.
2. Удосконалено й застосовано метод тестового інтерфейсу, який відрізняється можливістю забезпечення стійкості на рівні макроструктури організуючої системи.
Відмінність методу полягає в застосуванні засобів, які дозволяють виявляти та оброблювати помилки та відмови пристроїв вводу-виводу при обміні; встановлювати перевищення допустимого часу реакції на запит процесора; виявляти звертання до захищених ділянок пам’яті (порушення адресації) та звертання до ресурсу, відсутнього в системі; встановлювати пошкодження ділянок оперативного запам’ятовуючого пристрою, зовнішньої пам’яті та перевантаження черги до ресурсу; виявляти помилки в виклику супервізора операційної системи в командах оператора, помилки переривання схем контролю процесора, помилки при читанні (запису) інформації з зовнішньої пам’яті та ін.
3. Дістало подальшого розвитку застосування методу паролів в управлінні захистом даних ІСПР правоохоронної діяльності, який відрізняється можливістю вирішення проблем нелегального входження в ПЗ, а також завдання виправлення помилок в потоці управління через безкінечне та невірне виконання числа циклів.
Відмінність методу полягає в створенні самоконтролюючої структури, лічильники якої використовуються як пароль для захисту від нелегального входження та контролю безконечного або невірного числа виконань циклів за двома контрольними точками у циклі та поза циклом.
4. Вперше розроблено математичну модель оптимізації процесу управління захистом інформації в ІСПР правоохоронної діяльності для підвищення якості функціонування та стійкості системи для підтримки управлінських рішень в діяльності підрозділу ОВС.
Відмінність математичної моделі вибору раціонального розміру блоків ПЗ ІС, що підлягають захисту, полягає в створенні умов для знаходження оптимального числа захищених блоків ІСПР, при яких досягається найбільший ефект від захисту.
5. Удосконалено методику розв’язання криміналістичних завдань дактилоскопічної ідентифікації для реалізації сучасної моделі ІСПР під час розслідування злочинів.
Дана методика включає вперше розроблений метод розпізнавання зображення для якісного визначення масштабності та повноти даних ІСПР щодо підвищення ефективності функціональності відомчої ІСПР для підтримки рішень в діяльності підрозділу ОВС.
Відмінність методу полягає застосуванні однакового формату за кольором і розміром елементарних частин для проведення дослідження окремого зображення із базовими зображеннями, а також сканування за двома напрямками частин базових зображень з циклічною зміною поточної позиції усередині цих частин по всій їхній площині, фрагменту та координатах.
Це дозволяє отримувати можливість проведення послідовного порівняння досліджуваного зразка з базовим в ідентичних умовах та перевірку усього інформаційного обсягу зображення базового зразка, можливість повної просторової орієнтації зображення для дослідження з базовим об’єктом, що в кінцевому результаті дозволяє максимально точно визначити ступінь збігу досліджуваного зразка з базовим зображенням, можливість вірогідно визначити статус окремого двовимірного зображення щодо заздалегідь відомої базової групи двовимірних експертних зображень і визначити коефіцієнт приналежності, як міри збігу досліджуваного зображення, а також можливість встановлювати приналежність досліджуваного зразка з рівнем достовірності до 98% при наявності лише (20-25) % фрагменту досліджуваного зразка.
Значення одержаних у дисертації результатів для науки полягає в розробці теоретичних основ, моделей та методів проектування стійкого програмного забезпечення ІСПР в правоохоронній діяльності.
Значення одержаних у дисертації результатів для практики полягає в доведенні розроблених моделей та методів проектування стійкого ПЗ ІСПР в правоохоронній діяльності до інженерних рішень та створенні на їх основі алгоритмічних та програмно-інструментальних засобів контролю несанкціонованих впливів на програмне забезпечення ІСПР правоохоронної діяльності для підвищення стійкості інформаційної системи спеціального призначення.
Запропонований автором науково-методичний апарат дозволив:
підвищити показники рівня достовірності встановлення приналежності досліджуваного зразка на (2-6) % за наявності лише (20-25) % фрагменту досліджуваного зразка;
підвищити ефективність рівня стійкості ІС до НС впливів та контролю за даними ІС (дотримання вимог актуальності, доступності, достовірності, масштабності та повноти даних) до 27 %;
підвищити швидкодію криптографічних перетворень у (1,35-1,5) рази при використанні паралельних обчислень (розбивка основної задачі захисту даних на під задачі за технологією пошарового структурного проектування).
Достовірність отриманих результатів підтверджується коректними постановками завдань, науковою обґрунтованістю теоретичних положень, вибором адекватних методів досліджень, використанням сучасного математичного апарату.
На користь достовірності отриманих в дисертації результатів свідчать коректна постановка завдання дослідження, успішна апробація розроблених моделей і методик для управління захистом інформації ІСПР, повнота обліку найбільш суттєвих чинників і параметрів, що впливають на стійкість функціонування ІСПР правоохоронної діяльності, збіг результатів наукових досліджень з результатами експерименту.
Висновки і рекомендації по науковому і практичному використанню отриманих наукових результатів.
Результати роботи використані та можуть знайти подальше практичне застосування в підрозділах інформаційних технологій правоохоронних органів, а також під час наукових досліджень в напрямку розробки технічних завдань на розробку перспективних зразків стійкої інформаційної системи для управління правоохоронною діяльністю, а також у науково-дослідницькій роботі науково-дослідних установ та навчальному процесі вищих навчальних закладів, про що свідчать акти реалізації, які отримані з:
Державного НДЕКЦ МВС України, при розробленні та реалізації підсистеми підтримки прийняття рішень щодо бази первинних інформаційних масивів у складі інтегрованої інформаційної системи ОВС (акт впровадження результатів дисертаційного дослідження від 12.12.2012 р.);
НДЕКЦ при ГУМВС України в АР Крим при створенні комп’ютерної бази даних зразків зображень у складі відомчої інформаційної підсистеми (акт впровадження результатів дисертаційного дослідження від 10.10.2011 р.) ;
Управління інформаційно-аналітичного забезпечення УМВС України в Кіровоградській області при розробці методики виявлення несанкціонованого впливу на програмне забезпечення із застосуванням методу тестових інтерфейсів та методу паролів в управлінні захистом інформації інформаційної системи підтримки рішень (акт впровадження результатів дисертаційного дослідження від 14.11. 2012 р.);
інформаційно-аналітичного відділу УБОЗ ГУМВС України в АР Крим при розробці системи комплексного захисту інформації в автоматизованих системах спеціального призначення (акт впровадження результатів дисертаційного дослідження від 26.06. 2012 р.);
у навчальному процесі кафедри інформаційних технологій Інституту інформаційно-діагностичних систем НАУ при розробленні математичної моделі оптимізації процесом управління захистом інформації в інформаційній системі (акт впровадження результатів дисертаційного дослідження від 16.05.2012 р.);
у навчальному процесі кафедри інформаційних технологій Національної академії внутрішніх справ при розробленні методики побудови інформаційних систем із застосуванням методу розпізнавання зображення для якісного визначення масштабності та повноти даних ІСПР та методу паролів в управлінні захистом даних ІСПР правоохоронної діяльності (акт впровадження результатів дисертаційного дослідження від 15.01.2012 р.).
Рекомендації, отримані в дисертаційній роботі, не є вичерпними і можуть служити основою для подальших досліджень.
Сукупність отриманих в дисертації нових наукових результатів, позитивна оцінка їх достовірності, наукової практичної значущості дозволяє рахувати сформульовану наукову проблему вирішеною.

СПИСОК ВИКОРИСТАНИХ ДЖЕРЕЛ

1. Системна інформатизація законотворчої та правоохоронної діяльності: монографія / [Кер. авт. кол. Швець М.Я.]; за ред. В. В. Дурдинця та ін. – К.: Навч. книга, 2005. – 639 с.
2. Системна інформатизація правоохоронної діяльності: монографія / [Швець М.Я., Буржинський В. А., Хахановський В. Г. та ін.]; за ред. В. В. Дурдинця, М. Я. Швеця. – К.: НДЦПІ АПрН України, 2007. – 382 с.
3. Інформаційне забезпечення управлінської діяльності в умовах інформатизації: організаційно-правові питання теорії і практики: монографія / [Гавловський В.Д., Гуцалюк М.В., Швець М.Я. та ін.]; за ред. Р.А. Ка-люжного, В.О. Шамрая. – К.: АДПС України, – 2002. – 296 с.
4. Інформаційно-аналітичне забезпечення оперативно-розшукової діяльності: монографія / [Буржинський В. А., Вербенський М. Г., Гуславський В. С. та ін.]; за ред. Б. Г. Розовського. – Луганськ: РВВ ЛДУВС ім. Е.О. Дідоренка, 2009. – 110 с.
5. Захаров В. П. Інформаційне забезпечення боротьби зі злочинністю: монографія / В. П. Захаров. – Львів: Львівський державний університет внутрішніх справ, 2008. – 472 с.
6. Калюжний Р. А. Автоматизованi системи i засоби обчислювальної технiки у органiзацiї i функцiонуваннi органiв внутрiшнiх справ / Р. А. Калюжний – К., 1990. – 193 с.
7. Кондратьєв Я. Ю. Нормативно-правова база інформаційно-аналітичного забезпечення діяльності оперативних підрозділів міліції / Я. Ю. Кондратьєв, В. Г. Хахановський // Науковий вісник НАВСУ, 2003. – №3. – Ч.2. – С. 53.
8. Саницький В. А. Комп’ютерізовані інформаційні підсистеми МВС України у боротьбі зі злочинністю / В. А. Саницький. – К., 1998. – 130 с.
9. Тітуніна К. В. Система інформаційно-аналітичного забезпечення розкриття та розслідування комп’ютерних злочинів / К.В. Тітуніна // Науково-практичне видання МВС «Бюлетень обміну досвідом роботи». – К., 2010. – №181. – С. 33-37.
10. Баранов О. К. Использование профессиональных персональных электронно-вычислительных машин в деятельности органов внутренних дел / О.К. Баранов, М.Б. Бобырин, В.О. Мина. – Горький: ВШ МВД СССР, 1989. – 234 с.
11. Кудинов В.А. Автоматизированное рабочее место дежурного дежурной части МВД-УМВД (УМВДТ) / Кудинов В.А. – К.: РИО МВД Украины, 1996. – 100 с.
12. Бородич Л.В. Система інформаційного забезпечення ОВС України: навч.-практ. посібник [для студ. вищ. навч. закл.] / Л.В. Бородич. – К.: РВВ МВС України, 2000. – 345 с.
13. Наказ МВС України «Про інформаційні системи органів внутрішніх справ України» : від № 17.11.2003 р., № 1395.
14. Бойченко О.В. Використання інформаційних систем в діяльності кримінальної міліції: навчально-методичний посібник [для курсантів ВНЗ МВС] / О.В. Бойченко, Р.А. Халієв. – Сімферополь: КЮІ ХНУВС, 2002. – 24 с.
15. Бойченко О.В. Особливості оперативно-розшукової протидії комп’ютерній злочинності / О. В. Бойченко, М.М. Новіков // Форум права. – 2010. – № 1. – С. 34-37 [Електронний ресурс]. – Режим доступу: http://www.nbuv.gov.ua/e-journals/FP/2010-1/10bovpk.pdf.
16. Бойченко О.В. Інформаційно-функціональне забезпечення управління органами внутрішніх справ України / О. В. Бойченко, М.М. Новіков // Форум права. – 2010. – № 4. – С. 90-95 [Електронний ресурс]. – Режим доступу: http://www.nbuv.gov.ua/e-journals/FP/2010-4/10bovpk.pdf
17. Бойченко О.В. Автоматизація управлінських рішень в інформаційно-телекомунікаційних системах спеціального призначення: монографія / О.В. Бойченко, В. П. Квасніков, Національний авіаційний університет. – Сімферополь: ДІАЙПІ, 2011. – 292 с.
18. Бойченко О.В. Моделювання управлінської інформаційно-аналітичної системи підприємства / О.В. Бойченко, Яценко Л.Ф., Яловенко Ю.В. // Вісник інженерної академії України. – К., 2010. – №2. – С. 54-59.
19. Бойченко О.В. Обмін даними в автоматизованій інформаційній системі управління органів внутрішніх справ: монографія / О.В. Бойченко, Кримський юридичний інститут ОДУВС. – Сімферополь: ДІАЙПІ, 2010. – 186
20. Голубєв В. О. Інформаційна безпека: проблеми боротьби зі злочинами у сфері використання комп’ютерних технологій : підручник [для студ. вищ. навч. закл.] / В.О. Голубєв, В.Д. Гавловський, В.С. Цимбалюк [за заг. ред. Р. А. Калюжного, М. Я. Швеця]. – Запоріжжя: Просвіта, 2001. – 252 с.
21. Хорев А.А. Организация защиты информации от утечки по техническим каналам / А.А. Хорев // Спец. техника. – М., 2006. – № 3. – С. 53 – 64.
22. Закон України «Про захист інформації в інформаційно-телекомунікаційних системах» : від 31.05.2005 р., № 80/2005-ВР // ВВР України. – 2005. – № 13. – Ст. 288.
23. Наказ МВС України «Про затвердження положення про центр ТЗІ при МВС України, типового положення про підрозділ ТЗІ, Положення про координаційну раду МВС України з питань ТЗІ» : від 25.02. 2002 р., № 170.
24. Наказ МВС України «Про затвердження положення про контроль за функціонуванням системи ТЗІ в органах і підрозділах ОВС України» : від 25.07.2002 р., № 745.
25. Бойченко О. В. Політика інформаційної безпеки в системі інформаційного забезпечення ОВС України / О. В. Бойченко // Форум права. – 2009. – № 1. – С. 50–55 [Електронний ресурс]. – Режим доступу: http://www.nbuv.gov.ua/e-journals/FP/2009-1/09bovzou.pdf.
26. Бойченко О. В. Правове регулювання міжнародної співпраці щодо забезпечення інформаційної безпеки в органах внутрішніх справ / О.В.Бойченко // Форум права. – 2008. – № 3. – С. 46-52 [Електронний ресурс]. – Режим доступу: http:www.nbuv.gov.ua / e-journals /FP/2008-3/08bovovs.pdf
27. Бойченко О. В. Загрози інформаційній безпеці в діяльності ОВС України / Бойченко О. В. // Кримський юридичний вісник. – Сімферополь, 2009. – Вип. 1(5). – С. 45-55.
28. Бойченко О.В. Защита информации в автоматизированных информационных системах: учебное пособие [для студ. вищ. навч. закл.] / Бойченко О.В. – Симферополь: ИСВА ЧВУЗ «МСУ. Харьков», 2007. – 161 с.
29. Бойченко О.В. Проблемні питання управління захистом інформації в діяльності міліції / Бойченко О.В. // Актуальні проблеми сучасної науки в дослідженнях молодих учених. – Сімферополь: Таврія, 2007. – Вип. 10. – С. 31-34.
30. Бойченко О.В. Інформаційна безпека як складова інформаційно-аналітичного забезпечення протидії злочинності / Бойченко О.В. // Кримський юридичний вісник. – Сімферополь, 2008. – Вип. 3(4). – С. 158-165.
31. Бойченко О.В. Інформаційна безпека – основа заходів протидії злочинності / Бойченко О.В. // Процесуальне та організаційне забезпечення діяльності органів досудового слідства та дізнання в системі МВС України: всеукраїнськ. наук.-практ. конф., 17 трав. 2008 р.: тези допов. – Сімферополь, 2008. – С. 51-55.
32. Бойченко О.В. Проблемы информационной сферы национальной безопасности Украины / Бойченко О.В. // Труды Крымской академии наук. – Симферополь: Оригинал-М, 2008. – С. 78-83.
33. Бойченко О.В. Відомчі інформаційні ресурси ОВС в системі забезпечення національної безпеки / О.В. Бойченко // Проблеми правознавства та правоохоронної діяльності. – Донецьк: Донецький юридичний інститут Луганського державного університету внутрішніх справ, 2009. – №2. – С. 122-133
34. Бойченко О.В. Правові та інформаційно-технологічні проблеми захисту інформації в автоматизованих системах ОВС України / О.В. Бойченко, О.О. Голованюк // Проблеми діяльності кримінальної міліції в умовах розбудови правової держави: наук.-звіт. конф.: тези допов. – Львів: ЛьвДУВС, 2010. – № 4. – С. 190-195.
35. Бойченко О.В. Окремі питання функціонування системи забезпечення інформаційної безпеки / О.В. Бойченко, К.С. Герасименко // Кримський юридичний вісник. – Сімферополь, 2010. – Вип. 1(8). – Ч. 1. – С. 46-54.
36. Бойченко О.В. Перспективи використання засобів технічного захисту інформації у правоохоронних органах України / О.В. Бойченко // Спеціальна техніка у правоохоронній діяльності: міжнар. наук.-практ. конф., 20-21 квіт. 2004 р.: тези допов. (Част. 1). – К.: Національна академія внутрішніх справ України, 2005. – С.121-127.
37. Бойченко О.В. Організаційно-правові та програмно-технічні проблеми захисту інформації в автоматизованих системах ОВС України / О.В. Бойченко, К.С. Герасименко // Проблеми правознавства та правоохоронної діяльності. – Донецьк: Донецький юридичний інститут Луганського державного університету внутрішніх справ ім. Є.О. Дідоренка, 2010. – №2. – С. 68-73.
38. Бойченко О.В. Інформаційна безпека телекомунікаційних систем спеціального призначення / О.В. Бойченко // Новітні мережні технології в Україні: 14-а міжнар. наук.-практ. конф., 23-25 верес. 2011 р. : тези допов., АР Крим, с. Партеніт – К. УНДІЗ, 2011. – № 1. – 119-124.
39. Бойченко О. В. Аналіз математичної моделі формування управлінських інформаційних систем / О. В. Бойченко // Авиационно-космическая техника и технология. – Х.: ХАІ, 2010. – № 6(73). – С. 88-92.
40. Бойченко О.В. Аналіз проблем проектування управлінських інформаційних систем / О.В. Бойченко, Е.Е. Валієва // Інтегровані інтелектуальні робототехнічні комплекси (ПРТК-2010): третя міжнар. наук.-практ. конф., 25-26 трав. 2010 р.: тези допов. – К.: НАУ, 2010. – С. 155-157.
41. Бойченко О.В. Численные методы согласования нечетких решений в автоматизированных системах управления / О.В. Бойченко, Д.М. Попельницький // Інтегровані інтелектуальні робототехнічні комплекси (ПРТК-2010): третя міжнар. наук.-практ. конф., 25-26 трав. 2010 р.: тези допов. – К.: НАУ, 2010. – С. 157-159.
42. Дроздов Е.А. Основы построения и функционирования вычислительных систем / Е.А. Дроздов, А.П. Пятибратов. – М.: Энергия, 1983. – 368 с.
43. Кульба В.В. Поблемы автоматизации проектирования АСУ / В.В. Кульба, А.Г. Мамиконов, А.Д. Цвиркун // Автоматика и телемеханика. – К., 1974. – С. 168 – 201.
44. Бойченко О.В. Ієрархія контекстних діаграм складних інформаційних систем / О.В. Бойченко // Захист в інформаційно-телекомунікаційних системах: наук.-практ. конф., 7-10 черв. 2011 р.: тези допов. – К.: НАУ, 2011. – С. 5.
45. Бойченко О.В. Вибір системної архітектури автоматизованих систем управління / О.В. Бойченко // Інтегровані інтелектуальні робото-технічні комплекси: п’ята міжнар. наук.-практ. конф. (ПРТК-2012), 15-16 трав. 2012 р.: тези допов. – К.: НАУ, 2012. – С. 33-37.
46. Мамиконов А.Г. Модели и методы проетирования информационного обеспечения АСУ: монография / А.Г. Мамиконов, А.Н. Пискунов, А.Д. Цвиркун. – М.: Энергия, 1978. – 221 с.
47. Рей У. Методы управления технологическими процессами: монография / У. Рей. – М.: Мир, 1983. – 268 с.
48. Гольдштейн Е.Г. Новые направления в линейном программировании: монография / Е.Г. Гольдштейн, Ю.Д. Юдин. – М.: Сов. радио, 1966. – 524 с.
49. Кухтенко А.И. Проблема многомерности в теории сложных систем / А.И. Кухтенко // Кибернетика и вычислительная техника. – вып.1. – К.: Наукова думка, 1969. – С. 6 – 35.
50. Месарович М. Теория иерархических многоуровневых систем: монография / М. Месарович, Д. Мако, И. Такахара. – М.: Мир, 1973. – 342 с.
51. Моисеев Н.Н. Элементы теории оптимальных систем: монография / Н.Н. Моисеев. – М.: Наука, 1975. – 526 с.
52. Ларичев О.И. Системный анализ: проблемы и перспективы / О.И. Ларичев // Автоматика и телемеханика. – К., 1975. – С.61-71.
53. Мангейм М.Л. Иерархические структуры. Модель процессов проектирования и планирования / М.Л. Мангейм. – М.: Мир, 1970. – 180 с.
54. Плискин Л.Г. Оптимизация непрерывного производства: монография / Л.Г. Плискин. – М.: Энергия, 1975. – 335 с.
55. Поспелов Д.А. Введение в теорию вычислительных систем: монография / Д.А. Поспелов. – М.: Сов. радио. 1972. – 280 с.
56. Комиади В.А. Сложность вычисления алгоритмов: монография / В.А. Комиади, А.Н. Маслова, В.Н. Петри. – М.: Мир, 1974. – 389 с.
57. Турский В. Методология проектирования программ: монография / В. Турский. – М.: Мир, 1981. – 265 с.
58. Lehman M. Programs, Life cycle and Laws of Software Evolution / M. Lehman // Proc. of IEEE. 1980. – Vol. 68. – pp. 26-46.
59. Йордан Э. Структурное проектирование и конструирование программ / Э. Йордан. – М.: Мир, 1979. – 415 с.
60. Вирт Н. Систематическое программирование. Введение / Н. Вирт. – М.: Мир, 1977. – 183 с.
61. Wirth N. Program development by step-wise Refinment / N. Wirth // Comm. ACM. – 1971. – Vol. 14. – PP. 221-229.
62. Фуксман А.Л. Технологические аспекты создания программных систем / А.Л. Фуксман. – М.: Статистика, 1979. – 184 с.
63. Liskov B.H. A design Metodology for Reliable Software Systems / Liskov B.H. // Fall Joint Computer Conf., AFIPS. – 1972. – Vol. 41. – PP. 191-199.
64. Бойченко О.В. Основні принципи проектування якісного програмного забезпечення автоматизованих систем управління / О.В. Бойченко // Вимірювальна та обчислювальна техніка в технологічних процесах. – Хмельницький: Хмельницький національний університет, 2012. – №3. – С. 88-91.
65. Благодатских В.А. Экономика, разработка и использование программного обеспечения ЭВМ: Учебник [для студ. высш. учебн. завед.] / В.А. Благодатских, М.А. Енгибарян, Е.В. Ковалевская и др. – М.: Финансы и статистика, 1995. – 288 с.
66. Інформаційні технології. Оцінювання процесів життєвого циклу програмних засобів: ДСТУ ISO/IEC TR 15504-7:2003. – [Чинний від 2003-04-07]. – К.: Держспоживстандарт України, 2004. – 33 с. – (Національний стандарт України).
67. Reifer Donald J. Software management / Reifer Donald J. – 4th ed. – Los Alamitos, Calif. etc.: IEEE computer society press, 1993. – XI, 648 p.: fig.
68. AQAP-150 (Edition 1) – NATO quality assurance requirements for software development. Corrigendum to AQAP-160 (Edition 1) – NATO integrated quality requirements for software throughout the life cycle.
69. Холстед М.Х. Начало науки о программах / М.Х. Холстед. – М.: Финансы и статистика, 1981. – 128 с.
70. Майерс Г. Надежность программного обеспечения / Г. Майерс. – М.: Мир, 1980. – 360 с.
71. Сбитнев А.И. Об одном подходе к проектированию программного обеспечения АСУТП / А.И.Сбитнев, Г.М.Бубнов, Ю.Д.Волков, Д.Е. Цареградский // Вопросы проектирования программного обеспечения систем управления. – К.: ИК АН УССР. – Препринт 77-39. – 1977.
72. Сбитнев А.И. Структурная организация и проектирование ПОАСУТП / А.И. Сбитнев // К.: УСМ, 1982. – №5. – С. 38-42.
73. Jakson M. A. Principles of Program Design / M. A. Jakson.  N.Y.: Academic Press.  1975.  Р. 288.
74. A software design system based on a unified design metodology // J. of Information Proc. / O. Shigo et al. – 1980. – Vol 3. – № 3. – PP.186-196.
75. Chu Y. Introduction a software design language / Y. Chu // Proc. 1976 2nd Int. Conf. on Software Eng. – San Francisco; N.Y., 1972.
76. Сбитнев А.И. Об одном классе операций для построения набора алгоритмов оценки буферов в задачах построения математического обеспечения АСУТП / А.И. Сбитнев, Д.Е. Цареградский // Системный анализ промышленного производства. – К.: ИК АН УССР, 1979. – С. 60-72.
77. Сбитнев А.И. Организация поиска решений в нечетких ситуациях для систем управления военного назначения / А.И. Сбитнев, О.Ю. Пермяков // Механіка та машинобудування. – Х.: ХДПУ, 1998, – №1. – С. 131-139.
78. Дал У. Структурное программирование / У. Дал, Э. Дийкстра, К. Хоор. – М.: Мир, 1975. – 250 с.
79. Dijkstra E.W. Goto Statement considered harmful / E.W. Dijkstra // CACM 11, 1968. – № 3. – РР. 147-148.
80. Глушков В.М. Алгебра, языки, программирование / В.М. Глушков, Г.Е. Цейтлин, Е.Л. Ющенко. – К.: Наук. думка, 1978. – 320 c.
81. Сбитнев А.И. Моделирование структурных свойств программного обеспечения АСУ при человеко-машинном проектировании / А.И. Сбитнев // Кибернетика и вычислительная техника. – К., 1981. – C. 31-34.
82. Сбитнев А.И. Построение верификатора модульной системы на основе расширенных графов / А.И. Сбитнев // Кибернетика и вычислительная техника. – К., 1985. – C. 96-98.
83. Вельбицкий И.В. Технология программирования / И.В. Вельбицкий. – К.: Техника, 1984. – 279 c.
84. Бойченко О.В. Кількісне визначення масштабності та повноти даних інформаційної системи / О.В. Бойченко // Наукові записки українського науково-дослідного інституту зв’язку. – К.: УНДІЗ, 2012. – Вип. 4 (24). – С. 47-51.
85. Бойченко О.В. Класи автоматизованих робочих місць у складі системи розподілення потоку інформації управлінської ієрархічної структури / О.В. Бойченко, В.П. Квасніков // Вісник Національного авіаційного університету. – К.: НАУ, 2011. – Вип. 4. – С. 68-73.
86. Бойченко О.В. Новітнє інформаційно-технічне забезпечення діяльності оперативних підрозділів_ОВС України на сучасному етапі / О.В. Бойченко, Р.А. Халілєв // Науковий вісник Юридичної академії МВС України. – Дніпропетровськ, 2002. – С. 72-75.
87. Сбітнєв А.І. Структурне проектування спеціального програмного забезпечення / А.І. Сбітнєв, С.В. Ленков, О.М. Грищак // Вісник Східноукраїнського національного університету ім В. Даля. – Луганськ: СНУ, 2007. – Ч. 1. – № 5 (111). – С. 147-154.
88. Сбитнев А. И. Структурные методы проектирования математического обеспечения АСУ ТП / А.И. Сбитнев // Модели и алгоритмы автоматизированных систем в промышленности. – К.: ИК АН УССР, 1982. – С. 3-9.
89. Пайк Х. Разработка программного обеспечения для мини-ЭВМ / Х. Пайк // Мини-ЭВМ. – М.: Мир, 1975. – С. 27-41.
90. Бойченко О.В. Структурне проектування програмного забезпечення складних інформаційних систем реального часу / О.В. Бойченко С.В. Лєнков, П.А. Шкуліпа // Сучасна спеціальна техніка. – К.: ДНДІ МВС України, 2012. – № 4(31). – С. 92-97.
91. Лингер Р. Теория и практика структурного программирования / Р. Лингер, Х. Миллс, Б. Уитт; [пер. с англ.].  М.: Мир, 1982.  406 с.
92. Сбитнев А. И. Декомпозиция программного обеспечения в многомашинных системах управления: Системный анализ / А. И. Сбитнев, Б.Д. Шепетюк.  К.: ИК АН УССР, 1982. С. 2652.
93. Сбитнев А. И. Использование псевдофизического языка для описания ситуаций при проектировании СМПО КСАУ военного назначения / А. И. Сбитнев, А. Ю. Пермяков // Автоматика-98: 5-а українськ. конф.: тези допов. – Ч. 4.  К.: НТУУ КПІ, 1998. – С. 304309.
94. Сбитнев А. И., Ромов Б. А. Анализ графов математического обеспечения для нахождения параметров операционных систем: Системный анализ / А. И. Сбитнев, Б. А. Ромов.  К.: ИК АН УССР, 1974.  С 83-85.
95. Хетагуров Я. А. Проектирование информационно-вычислительных комплексов: монография / Я. А. Хетагуров, Ю. Г. Древс.  М.: Высшая школа, 1987. 280 с.
96. Bohm C.Flow diagrams, Turing machines and Languages with only two formation rules / С. Bohm, G. Jacopini // Comm. of ACM. 1986. Vol. 9.  №5.  Р. 366-371.
97. Сбитнев А. И. Структурная организация и проектирование математического обеспечения АСУ ТП: дис. … д-ра техн. наук: 05.13.11 / Сбитнев Анатолий Иванович.  К., 1989.  447 с.
98. Сбітнєв А.І. Аналіз моделей життєвого циклу програмного забезпечення / А.І. Сбітнєв, С.В. Лєнков, О.М. Грищак, О.В. Горшков // Вісник Київського національного університету імені Тараса Шевченка. – К., 2005. – №10. – С. 36-39.
99. Вирт Н. Алгоритмы + структуры данных = программы: монография / Н. Вирт; [пер. с англ.] – М.: Мир, 1985. – 406 с.
100. Wirth N. On the Composition of Well-Structured Programs / N. Wirth // Computing Surveys. – 6. – №4, 1974. – PP. 257-259.
101. Глухова Л.А. Технологии разработки програмного обеспечения: учебн. пособие [для студ. высш. учебн. завед.] / Л.А. Глухова. – Минск: Бел. ГУИРЭ, 2007. – 178 с.
102. Бойченко О.В. Інформаційна безпека України: поняття та загрози / О.В. Бойченко // Вісник Харківського національного університету внутрішніх справ. – Х., 2008. – Вип. 43. – С. 95-102.
103. Бойченко О.В. Проблемні питання здійснення оперативно-розшукових заходів з протидії комп’ютерним злочинам / О.В. Бойченко // Південноукраїнський правничий часопис. – Одеса, 2008. – Вип. 1. – С. 132-133.
104. Бойченко О.В. До проблеми забезпечення інформаційної безпеки України / О.В. Бойченко // Кримський юридичний вісник. – Сімферополь, 2009. – Вип. 2(6). – С. 45-51.
105. Євтушок В. П. Організація інформаційного забезпечення збору, аналізу та оцінки оперативних відомостей / В. П. Євтушок // Шляхи вдосконалення ОРД правоохоронних органів. – Додаток №1 до вісника ЛІВС, 2003. – №3. – С. 17-29.
106. Бутузов В. М. Особливості інформаційно-аналітичного забезпечення протидії комп’ютерній злочинності / В. М. Бутузов // Науково-практичне видання МВС «Бюлетень обміну досвідом роботи». – К., 2010. – №181. – С. 27-33.
107. Бойченко О.В. Інформаційна безпека в органах внутрішніх справ України (організаційно-правові засади): монографія / О.В. Бойченко. – Сімферополь: Кримський юридичний інститут ОДУВС., 2009. – 288 с.
108. Закон України «Про інформацію» : від 02.10.1992 р., №2658-XII/92-ВР // ВВР України. – 1992. – № 48. – Ст. 650 (із змінами і доповненнями, внесеними Законами України № 1642-III від 6.04. 2000 р., № 3047-III від 7.02.2002 р., № 676-IV від 3.04.2003 р., № 1268-IV від 18.11.2003 р., № 1703-IV від 11.05.2004 р., № 2707-IV від 23.06.2005 р.).
109. Закон України «Про державну таємницю» : від 21.01.1994 р., № 34/94-ВР // ВВР України. – 1994. - № 16. - Ст. 93.
110. Наказ МВС України №786 «Про створення Інтегрованої інформаційно-пошукової системи органів внутрішніх справ України»: від 18.07.2003 р.
111. Наказ МВС України «Про інформаційні системи органів внутрішніх справ України» : від № 17.11.2003 р., № 1395.
112. Саницький В. А. Система інформаційного забезпечення ОВС України: навчально-практичний посібник [для курс. вищ. навч. закл. МВС] / В. А. Саницький – К.: АНТЕКС, 2000. – 144 с.
113. Бойченко О.В. Функції ОВС України щодо забезпечення безпеки інформації та інформаційних ресурсів / О.В. Бойченко // Науковий вісник Ужгородського національного університету (серія «Право»). – Ужгород: ЛІРА, 2008. – Вип. 11. – С. 378-381.
114. Бойченко О.В. Концепція інформаційної безпеки в системі інформаційного забезпечення ОВС України / О.В. Бойченко, К.С. Герасименко // Вісник запорізького юридичного інституту Дніпропетровського державного університету внутрішніх справ. – Запоріжжя, 2010. – № 2. – С. 54-62.
115. Бойченко О.В. Проблеми інформаційної безпеки при використанні економічних систем управління / О.В. Бойченко // Сучасні телекомунікаційні та інформаційні технології: наук.-практ. семін.: тези допов. – К.: УНДІЗ, 2010. – № 1. – С. 45-49.
116. Бойченко О. В. Проблема кібертероризму у інформаційному забезпеченні підтримки рішень / О.В. Бойченко, Я.Я. Винярський, О.С. Лєнков // Інформаційна безпека. – Луганськ, 2012. – № 2(8). – С. 124-129.
117. Голубев В. А. Проблемы борьбы с кибертерроризмом в современных условиях / В. А Голубев [Електронний ресурс]. – Режим доступу: http: // www.crime-research.org / library /e-terrorism.htm. – 2003-04-11.
118. Глібов А. Статистика использования Интернет [Електронний ресурс]. – Режим доступу: http: // www.promovare-site.md/view_article.php?id=5. – 2010-02-30.
119. Орловский Н. А. Аналитический обзор научных статей по проблемам кибертерроризма / Орловский Н. А. [Електронний ресурс]. – Режим доступу: http: // www.inter.criminology.org.ua/modules.php?name=Content&pa=showpage&pid=429 –2007-02-22 .
120. Тропина Т. Технические средства и организованная преступность. Киберпреступность и кибертерроризм / Тропина Т. [Электронный ресурс]. – Режим доступу: http: // www.phreaking.ru / showpage.php?pageid=54233. – 2006-04-29
121. Гейл Хамилтон. Symantec объявляет о новой комплексной стратегии информационной защиты предприятий /Гейл Хамилтон [Електронний ресурс]. – Режим доступу: http: // www.securitylab.ru / news / 377810.php.
122. Статистика МВС України [Електронний ресурс]. – Режим доступу: http: // mvs.gov.ua. – 2010-04-15.
123. Клаверов В.Б. Проблемы противодействия компьютерной преступности / Клаверов В.Б. [Электронный ресурс]. – Режим доступа: http: // www.securitylab.ru / contest / 382194.php.
124. Четверть преступлений в сфере компьютерных технологий в Украине связана с электронными платежами [Электронный ресурс]. – Режим доступа: http: // moneynews.ru /7415/
125. Черняк Л. « Электронный ключ защиты» / Черняк Л., 2006. – Электронный ресурс]: Режим доступа: http: // www.autosoft.spb.ru/content_337. 4.
126. Бойченко О.В. Проблемні питання використання оперативно-технічних засобів підрозділами ОВС / О.В. Бойченко // 5-а звітн. наук.-практ. конф. проф.-викл. складу КЮІ НУВС: тези допов. – Сімферополь, 2003. – ч. 1. – С. 28-30.
127. Бойченко О.В. Угрозы информационных ресурсов органов государственно самоупр