Бази даних

Автореферати дисертацій - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (10)Реферативна база даних (486)Книжкові видання та компакт-диски (306)Журнали та продовжувані видання (51)
Пошуковий запит: (<.>A=КРИВОНОС$<.>+<.>A=ОЛЕКСІЙ$<.>+<.>A=ПЕТРОВИЧ$<.>)
Загальна кількість знайдених документів : 16
Представлено документи з 1 до 16

      
1.

Петрович Р.Й. 
Агрегативно-ітеративні алгоритми для лінійних рівнянь з обмеженими операторами: Автореф. дис... канд. фіз.-мат. наук: 01.01.07 / Р.Й. Петрович ; Львів. держ. ун-т ім. І.Франка. — Л., 1999. — 19 с. — укp.

В дисертації побудовані і досліджені ітераційні алгоритми для лінійних рівнянь в скінченновимірному і банаховому просторах, названі багатократними агрегативно-ітеративними алгоритмами. Запропоновані агрегативно-ітеративні аналоги деяких числових методів, зокрема методу послідовної верхньої релаксації, методу найшвидшого спуску, чебишовського ітераційного методу, методу простих ітерацій. Отримані умови збіжності і оцінки похибок досліджених методів.

  Скачати повний текст


Індекс рубрикатора НБУВ: В192.161.1,022

Рубрики:

      
2.

Олексійченко 
Біологічні основи селекції шовковиці (Morus L.) та підвищення її продуктивності в умовах України: Автореф. дис... д-ра с.-г. наук: 06.03.01 / Надія Олександрівна Олексійченко ; Національний аграрний ун-т. — К., 2005. — 39 с. — укp.

  Скачати повний текст


Індекс рубрикатора НБУВ: П382.33-3(4УКР)
Шифр НБУВ: РА339054

Рубрики:

Географічні рубрики:

      
3.

Петрович 
Історична топографія міста Володимира X - XVIII ст.: Автореф. дис... канд. іст. наук: 07.00.06 / В.В. Петрович ; Львів. нац. ун-т ім. І.Франка. — Л., 2003. — 19 с. — укp.

Досліджено історичну топографію одного з найдавніших і найбільших міст Волині - Володимира Х - ХVIII ст. На основі проаналізованих матеріалів з'ясовано основні етапи розвитку міста, наведено характеристику оборонних укріплень та цитаделей, окремих соціально-топографічних частин міста та пам'яток культової архітектури. Висвітлено деякі питання історичної демографії.

  Скачати повний текст


Індекс рубрикатора НБУВ: Т3(4УКР-4ВОЛ)4-22 Володимир +
Шифр НБУВ: РА326540

Рубрики:

Географічні рубрики:

      
4.

Кривоносова О.М. 
Клініко-патогенетичні та терапевтичні аспекти хронічних захворювань гастродуоденальної системи у хворих на цукровий діабет: Автореф. дис... канд. мед. наук: 14.01.02 / О.М. Кривоносова ; Харк. держ. мед. ун-т. — Х., 2007. — 22 с. — укp.

Досліджено глибинні механізми патогенезу уражень гастродуоденальної системи у разі інсулінозалежного цукрового діабету (ІЗЦД) та розроблено нові підходи щодо лікування хворих з даною патологією. Вивчено клінічні характеристики та функціональний стан слизової оболонки шлунка та дванадцятипалої кишки (ДПК) хворих з діабетичною гастропатією (ДГ), хронічним гастритом (ХГ) і виразковою хворобою дванадцятипалої кишки (ВХДПК) на фоні ІЗЦД. Встановлено типовість виникнення атрофічного гастриту на фоні гелікобактерної інфекції з пригніченням шлункової секреції, а у разі її компенсаторного підвищення виявлено тенденцію до ульцерогенезу у ДПК. Встановлено, що основними патогенетичними моментами уражень шлунка та ДПК у разі ІЗЦД є порушення моторно-евакуаторної функції шлунка, аутоімунна реакція до H. pylori, системна запальна відповідь та оксидативний стрес. Обгрунтовано доцільність призначення антигелікобактерної терапії у поєднанні з метаболічною (еспа-ліпон), прокінетичною (мотиліум) та імунотропною (циклоферон) терапією пацієнтам з ІЗЦД і захворюваннями органів гастродуоденальної системи. Запропоновано комплексний метод лікування даного контингенту хворих, який сприяє відновленню функціонального стану гастродуоденальної системи й оптимізує перебіг ІЗЦД більшою мірою, ніж традиційне лікування.

  Скачати повний текст


Індекс рубрикатора НБУВ: Р415.160.23-37 + Р413.2-3 +
Шифр НБУВ: РА349938

Рубрики:

      
5.

Петрович В.В. 
Корекція сагітального профілю постави дітей молодшого шкільного віку засобами фітбол-гімнастики: автореф. дис... канд. наук з фіз. виховання і спорту: 24.00.02 / В.В. Петрович ; Львів. держ. ун-т фіз. культури. — Л., 2010. — 19 с. — укp.

Вперше розроблено програму корекції сагітального профілю постави дітей молодшого шкільного віку засобами фітбол-гімнастики, специфічними ознаками якої є організація корекційних заходів з урахуванням особливостей функціональних порушень опорно-рухового апарату та рухової сфери молодших школярів і послідовність вирішення завдань фізичного удосконалення. Уточнено наукові уявлення про особливості формування сагітального профілю постави тіла дітей молодшого шкільного віку. Вперше визначено показники гоніометрії тіла дітей молодшого шкільного віку, що мають порушення постави, які дозволяють за допомогою фізичних вправ різної біомеханічної спрямованості вибірково впливати на порушення просторової організації біоланок тіла школярів. Розроблено спеціальні нормативні шкали оцінювання для контролю й оцінювання процесу формування сагітального профілю постави школярів. Проведено дослідження фізичного розвитку та моторики дітей молодшого шкільного віку Волині.

  Скачати повний текст


Індекс рубрикатора НБУВ: Ч511.491 + Ч516.517 +
Шифр НБУВ: РА370003 Пошук видання у каталогах НБУВ 

Рубрики:

      
6.

Кривонос Я.В. 
Методологія перекладацької інтерпретації метафоричного концептопростору першотвору (на матеріалі українських перекладів творів англійських та американських романтиків): автореф. дис... канд. філол. наук: 10.02.16 / Я.В. Кривонос ; Київ. нац. ун-т ім. Т.Г.Шевченка. — К., 2008. — 20 с. — укp.

Розроблено методологічні засади перекладацької інтерпретації метафоричного концептопростору першотвору на базі методу концептуального аналізу та категорії концептуальної еквівалентності. На прикладі метафор підкласу "Інтелектуальна сфера людини" у творах англійських й американських романтиків (Дж.Г.Байрона, Дж.Остін, В.Скотта, Е.А.По, Г.У.Лонгфелло та Дж.Ф.Купера) та їх українських перекладах досліджено особливості авторського метафоричного концептопростору та способи перекладу метафори на рівні концептуальної структури. Розроблено методику застосування у перекладознавстві концептуального аналізу як метамови опису емотивно-естетичного та когнітивного потенціалу метафори, засобу підвищення еквівалентності перекладу складних метафоричних образів першотвору та методу визначення функціональних перекладацьких домінант художнього тексту. Поняття еквівалентності доповнено категорією концептуальної еквівалентності. Зроблено порівняння концептуальної організації та когнітивного потенціалу метафорики першотвору та перекладу. Адекватність перекладу переглянуто у контексті теорії множинності інтерпретацій і визначено як еквівалентність першотвору та перекладу на рівні домінанти перекладацької настанови та пов'язаної з нею інформації (предметно-логічної, концептуальної, естетичної).

  Скачати повний текст


Індекс рубрикатора НБУВ: Ш5(4УКР)-318.3 + Ш5(4ВЕЛ)-318.37 + Ш5(7СПО)-318.37 +
Шифр НБУВ: РА356295

Рубрики:

Географічні рубрики:

      
7.

Кривонос Р.А. 
Німеччина у структурі європейського співробітництва: Автореф. дис... канд. політ. наук: 23.00.04 / Р.А. Кривонос ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2002. — 22 с. — укp.

Теоретично узагальнено сучасні наукові концепції системи міжнародних відносин, визначено місце у ній міжнародного співробітництва та його структуру як сукупність соціальних інститутів. З'ясовано, що місце ФРН у постбіполярній Європі визначено тим, що вона одержала засоби структурного впливу на політичну та економічну ситуацію на європейському континенті. Виявлено, що специфіка німецької зовнішньої політики полягає у збільшенні власного зовнішньополітичного потенціалу у межах діяльності у регіональних об'єднаннях і військових союзах, виключивши самостійні політичні стратегії та відмовившись від посилення автономності своїх дій у міжнародній системі (так званий мультилатералізм). Простежено, що особливістю концептуальних засад зовнішньої політики Німеччини на сучасному етапі, попри нові елементи у військовій доктрині країни, залишається використання переважно несилових засобів для реалізації політичних цілей. Доведено, що мультилатералізм як політична стратегія Німеччини відповідає не лише її державним інтересам, а і інтересам інших держав-акторів міжнародної системи, зокрема України.

  Скачати повний текст


Індекс рубрикатора НБУВ: Ф4(4НІМ)65 + Т3(4ГЕР)65-6 +
Шифр НБУВ: РА322292

Рубрики:

Географічні рубрики:
  

      
8.

Кривонос І.В. 
Психологічна структура українського національного характеру: реконструкція за творами художньої літератури: автореф. дис... канд. психол. наук: 19.00.05 / І.В. Кривонос ; Ін-т соц. та політ. психології АПН України. — К., 2008. — 19 с. — укp.

Проведено теоретичне й емпіричне дослідження проблеми реконструювання психологічної структури національного характеру у контексті гуманітарної парадигми. З'ясовано, що одним з перспективних шляхів розв'язання даної проблеми є звернення до ненаукового етнопсихологічного знання, що міститься у класичних зразках художньої літератури. Показано можливість трансформації такого знання у наукове на основі ідеї просторово-часового континууму етнопсихологічного дослідження, побудовано відповідну модель дослідницького процесу. Вперше з застосуванням коректних методичних прийомів реконструйовано психологічну структуру українського національного характеру, який реалізується у двох версіях - чоловічій і жіночій. Визначено основні типологічні принципи відтворення надперсональної психологічної структури національного характеру на особистісному рівні.

  Скачати повний текст


Індекс рубрикатора НБУВ: Ю958(4УКР) + Ш5(4УКР)5-34 + Ш5(4РОС)5-34 +
Шифр НБУВ: РА359809

Рубрики:

Географічні рубрики:

      
9.

Кривонос Ю.О. 
Селекційні аспекти формування бажаного типу тварин бурої худоби: автореф. дис... канд. с.-г. наук: 06.02.01 / Ю.О. Кривонос ; УААН; Ін-т розведення і генетики тварин. — с. Чубинське, 2009. — 18 с. — укp.

Вивчено співвідносну мінливість, фенотипову консолідованість, силу впливу окремих генетичних чинників, успадкованість та характер успадкування живої маси, продуктивних та екстер'єрно-конституціональних ознак тварин української бурої молочної породи. Визначено шляхи консолідації української бурої молочної породи з умовною кровністю 60 - 87 % швіцької породи північноамериканської селекції. Встановлено перевагу за ознаками росту і розвитку, молочної продуктивності, типу будови тіла, відтворною здатністю тварин з умовною кровністю 60 - 87 % за BS над аналогами з 20 - 39 % за BS.

  Скачати повний текст


Індекс рубрикатора НБУВ: П60-334 + П603.9-334 бурої худоби +
Шифр НБУВ: РА366870

Рубрики:

      
10.

Олексійчук О.М. 
Статистичне забезпечення моніторингу виконання Державного бюджету України: Автореф. дис... канд. екон. наук: 08.03.01 / О.М. Олексійчук ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2006. — 20 с. — укp.

Досліджено проблему інформаційного й аналітичного забезпечення організації та здійснення моніторингу виконання державного бюджету України. Проаналізовано й узагальнено особливості бюджетної системи, бюджетної політики України, складу та структури Державного бюджету як об'єкта статистичного дослідження. Чинні законодавчі вимоги до одного з етапів бюджетного процесу - виконання Державного бюджету України - не регулюють повністю питання організаційного та методологічного забезпечення його дослідження. Базуючись на теоретичних засадах статистичного аналізу й основних його методах, визначено вимоги та завдання моніторингу виконання Державного бюджету України, за результатами якого здійснюватиметься аналіз виконання його складових - дохідної та видаткової частин, а також оцінювання міжбюджетних відносин.

  Скачати повний текст


Індекс рубрикатора НБУВ: У9(4УКР)261.323 в611.326 +
Шифр НБУВ: РА348099

Рубрики:

Географічні рубрики:

      
11.

Олексійчук О.В. 
Удосконалення технології солоду із сої: Автореф. дис... канд. техн. наук: 05.18.07 / О.В. Олексійчук ; Нац. ун-т харч. технологій. — К., 2007. — 19 с. — укp.

Розглянуто проблему створення конкурентоспроможної технології солоду із сої для його широкого використання у харчових продуктах. На підставі експериментальних даних і проведених розрахунків розроблено новий спосіб одержання солоду із сої та удосконалено його технологію, що дозволяє підвищити якість і харчову цінність готового продукту. Виявлено, що в результаті активної дії ферментів у пророщених зернах сої збільшується вміст амінного азоту, жирних кислот, простих вуглеводів, вітамінів, органічних і неорганічних кислот. Встановлено оптимальні значення технологічних параметрів пророщування зерна сої, сушіння та термічної обробки солоду з сої, що значно покращують його якісні показники та зменшують у ньому вміст антипоживних речовин. Розроблено апаратурно-технологічну схему та нормативно-технічну документацію виробництва солоду з сої. Показано можливість використання у хлібопекарній, кондитерській, пивоварній, безалкогольній промисловості солоду з високими технологічними та фізіолого-біохімічними властивостями, одержаного за удосконаленою технологією, для виготовлення продуктів дитячого харчування, а також як домішку до м'ясних комбінованих продуктів. Результати наукового дослідження впроваджено у промисловість.

  Скачати повний текст


Індекс рубрикатора НБУВ: Л870.22 +
Шифр НБУВ: РА349769

Рубрики:

      
12.

Кривонос О.Б. 
Формування професійно-творчих умінь студентів медичних коледжів у навчальній діяльності: автореф. дис... канд. пед. наук: 13.00.09 / О.Б. Кривонос ; Харк. нац. пед. ун-т ім. Г.С.Сковороди. — Х., 2008. — 20 с. — укp.

Систематизовано основні професійно-творчі вміння майбутнього медичного працівника за змістом професійної діяльності, а також їх розподілено у чотири блоки, а саме: дослідницькі (діагностичні, прогностичні, конструктивні), операційні, рефлексивні, комунікативні, що відповідає специфіці діяльності фахівця медицини. На підставі результатів теоретичного й експериментального дослідження доведено, що процес формування професійно-творчих умінь студентів медичних коледжів забезпечує модифікований варіант особистісно зорієнтованої евристично-модульної технології навчання на підгрунті дидактичного забезпечення достатнього рівня евристичної та завершеної діяльності студентів на всіх етапах евристично-модульної технології, а саме: спонукально-мотиваційному; під час первинного засвоєння теоретичного матеріалу та у самостійній проблемно-пошуковій роботі студентів з метою поглиблення теоретичних знань; під час практичних професійно-спрямованих творчих робіт студентів; у самостійній евристичній і креативній роботі завершеного характеру зі створення особистістно значущих професійних продуктів; на етапі педагогічної діагностики сформованості професійно-творчих умінь студентів.

  Скачати повний текст


Індекс рубрикатора НБУВ: Р11(4УКР) р2 + Ю945.1 + Ч471.220 +
Шифр НБУВ: РА356233

Рубрики:

Географічні рубрики:
  
  

      
13.

Петрович С. Д. 
Формування професійної компетентності у майбутніх фахівців з обчислювальної техніки в процесі вивчення спеціальних дисциплін в технічних коледжах: автореф. дис. ... канд. пед. наук : 13.00.04 / С. Д. Петрович ; Вінниц. держ. пед. ун-т ім. М. Коцюбинського. — Вінниця, 2011. — 20 с.: табл., рис. — укp.

Розроблено й обгрунтовано організаційно-педагогічні умови підвищення професійної компетентності майбутніх фахівців з обчислювальної техніки. Побудовано модель формування такої компетентності у процесі вивчення спеціальних дисциплін у технічних коледжах засобами інформаційно-комунікаційних технологій. Визначено компоненти, критерії та рівні сформованості професійної компетентності майбутніх фахівців з обчислювальної техніки.

  Скачати повний текст


Індекс рубрикатора НБУВ: З970 р(4УКР)2
Шифр НБУВ: РА385046 Пошук видання у каталогах НБУВ 

Рубрики:

Географічні рубрики:

      
14.

Підховна С. М. 
Парки-пам'ятки садово-паркового мистецтва Тернопільщини (ретроспективний аналіз, структура дендрофлори, комплексна оцінка) / С. М. Підховна. — Б.м., 2020 — укp.

У дисертації проведено комплексне дослідження парків-пам'яток садовопаркового мистецтва Тернопільщини та одного перспективного для заповідання парку (Микулинецький), розглянуто законодавчу і нормативно-правову бази стосовно функціонування парків-пам'яток садово-паркового мистецтва, історію розвитку заповідної справи і періодизацію формування заповідних садовопаркових об'єктів України. Проаналізовано особливості формування парківпам'яток садово-паркового мистецтва та здійснено огляд методичних рекомендацій щодо проведення комплексного дослідження парків і скверів, які мають заповідний статус. Проведено ретроспективний аналіз формування території та дослідження парків-пам'яток садово-паркового мистецтва Тернопільщини. Проаналізовано та сформовано комплексну характеристику ландшафтно-композиційної структури досліджуваних парків за композиційнопросторовою оцінкою.За підсумками комплексного оцінювання сучасного стану історичних парків, встановлено, що до категорії цінних належить дев'ять об'єктів, які вирізняються високими архітектурно-естетичними якостями композиційних елементів. До категорії малоцінних віднесено Гримайлівський парк і Старий парк, які потребують відновлення композиції паркового простору. За результатами оцінювання залишки парку у Залишках старовинного парку в с. Бережанка і у Залишках старовинного парку в с. Млиниська потребують відновлювальних заходів.Для парків-пам'яток садово-паркового мистецтва загальнодержавного значення розроблено туристичні екологічні маршрути. Визначено перспективні напрями подальшого функціонування досліджуваних парків, сформовано науково-практичні рекомендації щодо їх збереження та адаптації до сучасних містобудівельних умов.^UIn the dissertation work the complex research of parks-monuments of landscape art of Ternopil region and one perspective for bequest park (Mykulynetsky) is carried out, the legislative and normative-legal base concerningfunctioning of parks-monuments of landscape art, history of development of protected area and periodization of formation of protected garden and park objects of Ukraine. The peculiarities of the formation of parks-monuments of landscape art is analyzed and the review of methodical recommendations on carrying out of complex research of parks and squares which have the reserved status is carried out. A retrospective analysis of the formation of the territory and research of parksmonuments of landscape art of Ternopil region was carried out. The complex characteristic of the landscape-compositional structure of the studied parks accordingto the compositional-spatial assessment is analyzed and formed.According to the results of a comprehensive assessment of the current state of historical parks, it is established that the category of valuable includes nine objects that are characterized by high architectural and aesthetic qualities of the compositional elements. Grimailovsky Park and the Old Park are in the category of low-value, which need to restore the composition of the park space. According to the results of the assessment of the remains of the ancient park in the village Berezhanka and in the remains of the ancient park in the village Mlynyska need restoration measures.Tourist ecological routes have been developed for parks-monuments of landscape art of national importance. Perspective directions of further functioning of the studied parks are determined, scientific and practical recommendations on their preservation and adaptation to modern urban conditions are formed.


Шифр НБУВ: 05 Пошук видання у каталогах НБУВ 

      
15.

Кривонос Ю. М. 
Оптимізація діагностики діабетичної кардіоміопатії в дитячому віці / Ю. М. Кривонос. — Б.м., 2021 — укp.

Дисертація присвячена вирішенню завдання оптимізації та розробці алгоритму і критеріїв ранньої діагностики вторинної діабетичної кардіоміопатії в дитячому віці. Проведено комплексну оцінку показників стандартної 12-канальної ЕКГ спокою та добового холтерівського моніторування у дітей з ЦД І типу з аналізом ВСР. У хворих дітей з тривалістю ЦД І типу понад 5 років діагностовано більш виражені порушення реполяризації, в в тому числі на початку й піку дії препаратів інсуліну короткої/ультракороткої дії, ознаки пароксизмальної готовності серцевого ритму, що на тлі симпатикотонії спричинює підвищення аритмогенності з розвитком порушень ритму серця в тому числі загрозливих для життя. Встановлено прогресуюче зі збільшенням тривалості ЦД І типу зниження варіабельності серцевого ритму, зростання внутрішньоміокардіального напруження та розвиток діастолічної дисфункції. Визначено спектр станів адаптаційно-пристосувальних механізмів на підставі аналізу варіабельності ритму серця з розрахунком показника активності регуляторних систем у дітей, хворих на ЦД І типу. Це дає можливість спостерігати за динамікою розвитку та прогресування діабетичної автономної нейропатії серця та ефективності лікування. Вперше створено алгоритм ранньої діагностики діабетичної кардіоміопатії при ЦД І типу в дитячому віці, який дозволить виявляти ураження міокарда при ЦД ще до його вираженої клінічної маніфестації. Розроблено алгоритм визначення груп ризику з розвитку загрозливих для життя порушень серцевого ритму у хворих з вперше виявленим ЦД І типу, який допоможе удосконалити діагностичні заходи та програму спостереження за такими пацієнтами, що сприятиме збереженню їх життя. Ключові слова: цукровий діабет 1 типу, діти, діабетична кардіоміопатія, алгоритм діагностики, дисперсія інтервалу QT, добове моніторування ЕКГ, варіабельність ритму серця, діастолічна дисфункція, серцева недостатність, раптова смерть, гіпоглікемія.^UThe dissertation is devoted to solving the problem of optimization and development of the early diagnosis algorithm of diabetic cardiomyopathy in children and adolescents with type 1 diabetes mellitus and diagnostic criteria for diabetic cardiomyopathy in children.A comprehensive assessment of the parameters of 12-lead ECG and ambulatory ECG monitoring with HRV analysis in children with DM1 was performed. In children with a DM1 duration over 5 years was found more repolarization disorders, including at initiation and on the peak of the action of short / ultrashort acting insulin with increasing heart rate; signs of paroxysmal readiness of the heart rhythm are facilitate increasing arrhythmias rate, including life threatening ventricular. A progressing with a DM1 duration increasing accompanied with a heart rate variability diminishing, as well as increased intramyocardial tension and the diastolic myocardial dysfunction development. The spectrum of adaptive mechanisms conditions according to the level of activity of autonomic regulatory systems is determined on the analysis of HRV with an indicator of regulatory systems activity calculation in children with DM1, which allows a tracking of autonomic nervous system damage dynamics and a diabetic autonomic heart neuropathy progression and treatment effectiveness. First time, an algorithm of early diagnosis of diabetic cardiomyopathy in type 1 diabetes in children has been developed. This algorithm is suitable for diabetic myocardial affection detecting, even before its explicit clinical manifestation. To identify risk groups for the development of life-threatening heart rhythm disorders in patients with newly diagnosed type 1 diabetes in childhood, has been developed an algorithm, which will help to improve diagnostic and supporting program for these patients, which will help to save the lives.Key words: diabetes mellitus, diabetic cardiomyopathy, diagnostic algorithm, QT dispersion, ambulatory ECG monitoring, heart rate variability, diastolic dysfunction, heart failure, sudden death, hypoglycemia.


Шифр НБУВ: 05 Пошук видання у каталогах НБУВ 

      
16.

Поремський М. В. 
Методи обґрунтування стійкості snow 2.0-подібних потокових шифрів відносно кореляційних атак над скінченними полями характеристики 2 / М. В. Поремський. — Б.м., 2021 — укp.

Поремський М.В. Методи обґрунтування стійкості snow 2.0-подібних потокових шифрів відносно кореляційних атак над скінченними полями характеристики 2^r – Кваліфікаційна наукова праця на правах рукопису.Дисертація на здобуття наукового ступеня доктора філософії за спеціальністю 125 «Кібербезпека». – Інститут спеціального зв'язку та захисту інформації Національного технічного університету України «Київський політехнічний інститут імені Ігоря Сікорського», Київ, 2020.Дисертаційна робота присвячена вирішенню актуальної наукової задачі, яка полягає у розробці методів обґрунтування стійкості SNOW 2.0-подібних потокових шифрів відносно відомих кореляційних атак. З розвитком інформаційних технологій та комп'ютерної техніки значну увагу привернули до себе слово-орієнтованих ПШ, які є програмно-орієнтованими та можуть ефективно працювати на сучасних процесорах. Порівняльні дослідження алгоритмів потокового шифрування показують, що одним із найкращих серед сучасних ПШ є шифр SNOW 2.0, що є на сьогодні міжнародним стандартом. В свою чергу, взявши шифр SNOW 2.0 як прототип, було створено важливий клас SNOW 2.0-подібних ПШ. До цього класу відноситься і нещодавно створений в Україні шифр “Струмок”, прийнятий як національний стандарт ДСТУ 8845:2019. Важливою частиною процесу розробки таких шифрів, що зумовлює вибір окремих компонент і параметрів для їх побудови, є обґрунтування їх стійкості відносно усіх відомих на сьогодні атак. В роботі удосконалено аналітичну оцінку інформаційної складності кореляційних атак на потокові шифри. На відміну від раніше відомої (евристичної) оцінки, отримана аналітична оцінка має належне наукове обґрунтування, містить явну залежність від ймовірності помилки атаки та є справедливою для будь-яких кореляційних атак на потокові шифри незалежно від способу побудови або методу розв'язання системи рівнянь зі спотвореними правими частинами, яка складається на першому етапі атаки. Вперше отримано аналітичне співвідношення для квадратичної евклідової незбалансованості розподілу ймовірностей спотворень у правих частинах рівнянь, що використовуються для побудови кореляційних атак на SNOW 2.0-подібні шифри. На відміну від відомих співвідношень, які визначають квадратичну евклідову незбалансованість, отримане співвідношення встановлює вираз цього параметра в термінах коефіцієнтів Фур'є розподілу спотворень у правих частинах рівнянь єдиної системи, яка не залежить від конкретної атаки. Це дозволяє отримувати нижні оцінки трудомісткості й обсягу матеріалу, потрібного для реалізації кореляційних атак на SNOW 2.0-подібні шифри та порівнювати за трудомісткістю та обсягом матеріалу кореляційні атаки, що будуються над полями різних порядків.Вперше розроблено метод обґрунтування стійкості двійкових SNOW 2.0-подібних шифрів відносно кореляційних атак над скінченними полями характеристики 2. На відміну від відомих підходів до побудови кореляційних атак на полем з двох елементів, розроблений метод базується на отриманому дисертантом аналітичному співвідношенні для параметра, який характеризує ефективність атаки, та дозволяє обґрунтовувати стійкість двійкових SNOW 2.0-подібних потокових шифрів безпосередньо за параметрами їх компонент. Отримав подальший розвиток метод обґрунтування стійкості модулярних SNOW 2.0-подібних шифрів відносно кореляційних атак над скінченними полями характеристики 2. На відміну від відомих підходів до побудови кореляційних атак на SNOW 2.0, розроблений метод базується на отриманих дисертантом аналітичних співвідношеннях, які узагальнюють низку окремих результатів про матричні представлення незбалансованості відображень, що реалізуються скінченними автоматами. Розроблений метод є застосовним до модулярних -розрядних SNOW 2.0-подібних шифрів при і дозволяє отримувати нижні оцінки ефективності відомих кореляційних атак безпосередньо за параметрами компонент алгоритму шифрування. Практичне значення одержаних результатів полягає в тому, що дисертантом розроблено програмні реалізації, які дозволяють в режимі реального часу обчислювати значення нижніх меж трудомісткості та обсягу матеріалу, потрібного для здійснення будь-якої з відомих кореляційних атак на довільний двійковий чи модулярний SNOW 2.0-подібний шифр з вузлами заміни довжини 8 бітів. Розроблені програми застосовані для обґрунтування стійкості шифру “Струмок”, а також його двійкової версії. Вони можуть бути використані на практиці при дослідженні стійкості інших SNOW 2.0-подібних потокових шифрів у СІТС України. Наукові та практичні результати дисертаційної роботи реалізовані в Службі зовнішньої розвідки України – в результаті виконання НДР “Корифена” та в науково-технічних розробках ЗАО “Інститут інформаційних технологій”.^UPoremskyi M. Methods for security evaluation of SNOW 2.0-like stream ciphers against correlation attacks over a finite fields of order 2^r . – Qualifying scientific work as a manuscript.Thesis for a Candidate of Technical Science degree in specialty 125 «Cybersecurity». – Institute of Special Communication and Information Protection of National technical university of Ukraine «Igor Sikorsky Kyiv Polytechnic Institute», Kyiv, 2018.This thesis is devoted to solving actual scientific problem of development the methods for security evaluation of SNOW 2.0-like stream ciphers against correlation attacks.With the advancement of information and computer technologies, significant attention has been drawn to word-based SC that are software-oriented and can run efficiently on modern processors. Comparative studies of stream encryption algorithms show that one of the best among current SC is SNOW 2.0, which is currently the international standard. In turn, using SNOW 2.0 cipher as a prototype, an important class of SNOW 2.0-like ciphers was created. This class includes the recently created in Ukraine cipher "STRUMOK", adopted as the national standard DSTU 8845: 2019. An important part of the process of developing such ciphers, which determines the choice of individual components and parameters for their construction, is their security evaluatin against all known attacks.The analytical estimation of information complexity of correlation attacks on stream ciphers is improved in thesis. Unlike the previously known (heuristic) estimate, the analytical estimate obtained has a scientific basis, contains a clear dependence on the probability of an error of attack and is valid for any correlation attacks on stream ciphers, regardless of the method of creation or solving the system of equations with right parts corrupted by noise, which is creating on the first stage of the attack.For the first time, an analytical relation was obtained for the quadratic Euclidean imbalance of the probability distribution of corruptions in the right part of the equations that are used to construct correlation attacks on SNOW 2.0-like ciphers. Unlike the known correlations that determine the quadratic Euclidean imbalance, the obtained relation determines the expression of this parameter in terms of the Fourier coefficients of the corruption in the right part of the equations of a single system that does not dependent on particular attack. This allows us to obtain lower bounds of the complexity and amount of material required to SNOW 2.0-like correlation attack on SNOW 2.0-like ciphers and to compare the complexity and amount of material for different correlation attacks that are built over fields of different orders.For the first time a method of security evaluation of binary SNOW 2.0-like ciphers against correlation attacks over finite fields of characteristic 2 was developed. In contrast to the known approaches of creating correlation attacks over a field of two elements, the developed method is based on the analytic correlation obtained by researcher for the parameter that characterize the attack efficiency and allows to evaluate the security of binary SNOW 2.0-like stream ciphers directly by the parameters of their components.A method of security evaluation of modular SNOW 2.0-like ciphers against correlation attacks over finite fields of characteristic 2 was further developed. In contrast to the known approaches of creating SNOW 2.0 correlation attacks, the developed method is based on analytical correlations obtained by the thesis, which summarize a number of separate results on matrix representations that are implementing by finite state machines. The developed method is applicable to modular SNOW 2.0-like ciphers and allows to obtain lower bounds of the efficiency of known correlation attacks directly by the parameters of the components of the encryption algorithm.The practical significance of the obtained results consists in developing the software implementations that allow in real time to calculate the values of the lower bounds of the complexity and amount of material required to process any of the known correlative attacks on an arbitrary binary or modular SNOW 2.0-like cipher with 8 bit s-boxes. The developed programs are used to evaluate ofsecurity of the cipher "Strumok", as well as its binary version. They can be used in practice to evaluate the security of other SNOW 2.0-like stream ciphers in SITS of Ukraine.The scientific and practical results of the thesis were implemented at the Foreign Intelligence Service of Ukraine (in the research scientific work «Korifena») and in the scientific and technical developments of CJSC «Institute of Information Technologies».


Шифр НБУВ: 05 Пошук видання у каталогах НБУВ 
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського