Комп'ютерні методи високорівневого проєктування пристроїв захисту
Спеціальність: Безпека інформаційних і комунікаційних систем
Код дисципліни: 7.125.01.E.015
Кількість кредитів: 4.00
Кафедра: Безпека інформаційних технологій
Лектор: старший викладач Лужецька Н.М.
Семестр: 2 семестр
Форма навчання: денна
Завдання: загальні компетентності:
КЗ1. Здатність застосовувати знання у практичних ситуаціях.
фахові компетентності спеціальності:
КФ1. Здатність обґрунтовано застосовувати, інтегрувати, розробляти та удосконалювати сучасні інформаційні технології, фізичні та математичні моделі, а також технології створення та використання прикладного і спеціалізованого програмного забезпечення для вирішення професійних задач у сфері інформаційної безпеки та/або кібербезпеки.
КФ5. Здатність до дослідження, системного аналізу та забезпечення безперервності бізнес/операційних процесів з метою визначення вразливостей інформаційних систем та ресурсів, аналізу ризиків та визначення оцінки їх впливу у відповідності до встановленої стратегії і політики інформаційної безпеки та/або кібербезпеки організації.
фахові компетентності професійного спрямування:
ФКС 6. Уміння аналізувати ризики для оцінки реальних загроз порушення захисту та охорони.
Результати навчання: Результати навчання:
РН1.Вільно спілкуватись державною та іноземною мовами, усно і письмово для представлення і обговорення результатів досліджень та інновацій, забезпечення бізнес\операційних процесів та питань професійної діяльності в галузі інформаційної безпеки та/або кібербезпеки.
РН 3. Провадити дослідницьку та/або інноваційну діяльність в сфері інформаційної безпеки та/або кібербезпеки, а також в сфері технічного та криптографічного захисту інформації у кіберпросторі.
Методи навчання і викладання: Лекції заняття – інформаційно-перцептивний метод.
Методи оцінювання досягнення результатів навчання: Поточна перевірка в процесі засвоєння кожної теми, що вивчається; оцінка активності студента у процесі лекційних занять; екзамен – тестовий контроль та усне опитування.
РН5.Критично осмислювати проблеми інформаційної безпеки та/або кібербезпеки, у тому числі на міжгалузевому та міждисциплінарному рівні, зокрема на основі розуміння нових результатів інженерних і фізико-математичних наук, а також розвитку технологій створення та використання спеціалізованого програмного забезпечення.
РН9. Аналізувати, розробляти і супроводжувати систему управління інформаційною безпекою та/або кібербезпекою організації на базі стратегії і політики інформаційної безпеки.
РН11. Аналізувати, контролювати та забезпечувати ефективне функціонування системи управління доступом до інформаційних ресурсів відповідно до встановлених стратегії і політики інформаційної безпеки та/або кібербезпеки організації.
РН14. Аналізувати, розробляти і супроводжувати систему аудиту та моніторингу ефективності функціонування інформаційних систем і технологій, бізнес\операційних процесів у сфері інформаційної та\або кібербезпеки в цілому.
РН18. Планувати навчання, а також супроводжувати та контролювати роботу з персоналом у напряму інформаційної безпеки та/або кібербезпеки.
РН19. Обирати, аналізувати і розробляти придатні типові аналітичні, розрахункові та експериментальні методи кіберзахисту, розробляти, реалізовувати та супроводжувати проекти з захисту інформації у кіберпросторі, інноваційної діяльності та захисту інтелектуальної власності.
РН25. Знання методик аналізу, синтезу, оптимізації та прогнозування якості процесів функціонування інформаційних процесів та технологій в розподілених інформаційно-комунікаційних системах:
Методи навчання і викладання: Лекційні заняття – інформаційно- перцептивний метод, метод проблемного викладу. Лабораторні роботи – репродуктивний метод, евристичний метод, Самостійна робота – дослідницький метод
Методи оцінювання досягнення результатів навчання: Поточна перевірка в процесі засвоєння кожної теми, що вивчається; оцінка активності студента у процесі практичних занять; перевірка виконання лабораторних робіт; перевірка виконання контрольної роботи; усне опитування щодо засвоєння знань, набутих у процесі виконання лабораторних робіт.
Необхідні обов'язкові попередні та супутні навчальні дисципліни: • Схемотехніка,
• Криптографічні системи та протоколи,
• Основи наукових досліджень та організація науки,
• Проектування СЗІ.
Короткий зміст навчальної програми: Дана дисципліна формує у студентів необхідні знання для ефективного аналізу та проектування електронних засобів кібербезпеки. В дисципліні розглядаються класичні і сучасні підходи до проектування електронних пристроїв, їх переваги, недоліки і шляхи розвитку та вдосконалення. Вивчаються основи мови високого рівня опису електронних пристроїв VERILOGHDL: категорії і типи даних, атрибути, особливості структури програми мовою VERILOGHDL, види опису архітектури пристрою, послідовні оператори VERILOGHDL, особливості паралельних операторів VERILOGHDL, особливості опису основних цифрових блоків мовою VERILOGHDL.
Опис: Тема 1. Вступ.
Тема 2. Рівні представлення та процес проектування НВІС (Рівні представлення та проектування НВІС, Синтез реалізацій проектованих схем на кристалі НВІС, Моделі в проектуванні систем на НВІС).
Тема 3. Оператори та дані мови VERILOGHDL (Базові елементи мови VERILOGHDL, Скалярні типи даних, Складні типи даних, Вказівникові типи даних, Оператори мови VERILOGHDL).
Тема 4. Базові конструкції моделей на мові VERILOGHDL (Структура опису об’єкту моделювання, Опис поведінки об’єкту моделювання, Структурний опис об’єкту моделювання).
Тема 5. Проектування на VERILOGHDL (Використання конструкцій VERILOGHDL для моделювання, Особливості програмування на VERILOGHDL для синтезу).
Методи та критерії оцінювання: • письмові звіти з лабораторних робіт, усне опитування, контрольна робота (30%);
• підсумковий контроль (70 %, контрольний захід, екзамен): письмово-усна форма (70%).
Критерії оцінювання результатів навчання: Поточний контроль: 30 балів (лабораторні роботи 30 балів).
Екзаменаційний контроль: 70 балів (64 бали письмова компонента, 6 балів усна компонента).
Разом за дисципліну: 100 балів.
Порядок та критерії виставляння балів та оцінок: 100–88 балів – («відмінно») виставляється за високий рівень знань (допускаються деякі неточності) навчального матеріалу компонента, що міститься в основних і додаткових рекомендованих літературних джерелах, вміння аналізувати явища, які вивчаються, у їхньому взаємозв’язку і роз витку, чітко, лаконічно, логічно, послідовно відповідати на поставлені запитання, вміння застосовувати теоретичні положення під час розв’язання практичних задач; 87–71 бал – («добре») виставляється за загалом правильне розуміння навчального матеріалу компонента, включаючи розрахунки , аргументовані відповіді на поставлені запитання, які, однак, містять певні (неістотні) недоліки, за вміння застосовувати теоретичні положення під час розв’язання практичних задач; 70 – 50 балів – («задовільно») виставляється за слабкі знання навчального матеріалу компонента, неточні або мало аргументовані відповіді, з порушенням послідовності викладення, за слабке застосування теоретичних положень під час розв’язання практичних задач; 49–26 балів – («не атестований» з можливістю повторного складання семестрового контролю) виставляється за незнання значної частини навчального матеріалу компонента, істотні помилки у відповідях на запитання, невміння застосувати теоретичні положення під час розв’язання практичних задач; 25–00 балів – («незадовільно» з обов’язковим повторним вивченням) виставляється за незнання значної частини навчального матеріалу компонента, істотні помилки у відповідях на запитання, невміння орієнтуватися під час розв’язання практичних задач, незнання основних фундаментальних положень.
Рекомендована література: Навчально-методичне забезпечення:
1. Горпенюк А.Я. Електронний навчально-методичний комплекс «Комп’ютерні методи високорівневого проектування пристроїв захисту» у Віртуальному середовищі Львівської політехніки.
2. Хомич С.В. Курс лекцій з дисципліни “Мови опису апаратних засобів”.
3. Горпенюк А.Я., Зеляновський Ю.Є. Навчальний посібник для проектування мовою VERILOG ПЛІС Altera (FPGA) у середовищі Quartus® II.
4. Проектування на VERILOG підстановок в S-блоках алгоритму шифрування DES. Методичні вказівки до лабораторної роботи № 1 з курсу " Комп’ютерні методи високорівневого проектування систем захисту" для студентів спеціальності 125 «Кібербезпека» /Укл.: А.Я.Горпенюк, Ю.Є.Зеляновський - Львів: Видавництво НУ “ЛП”, 2020.- 7 с.
5. Проектування на VERILOG перестановок алгоритму шифрування DES. Методичні вказівки до лабораторної роботи № 2 з курсу " Комп’ютерні методи високорівневого проектування систем захисту" для студентів спеціальності 125 «Кібербезпека» /Укл.: А.Я.Горпенюк, Ю.Є.Зеляновський - Львів: Видавництво НУ “ЛП”, 2020.- 10 с.
6. Проектування мовою VERILOG афінного перетворення алгоритму шифрування AES. Методичні вказівки до лабораторної роботи № 3 з курсу "Комп’ютерні методи високорівневого проектування систем захисту" для студентів спеціальності 125 «Кібербезпека» /Укл.: А.Я.Горпенюк, Ю.Є.Зеляновський - Львів: Видавництво НУ “ЛП”, 2020.- 13 с.
7. Проектування мовою VERILOG генератора псевдовипадкових чисел на регістрі зсуву з лінійним зворотним зв’язком. Методичні вказівки до лабораторної роботи № 4 з курсу "Комп’ютерні методи високорівневого проектування систем захисту" для студентів спеціальності 125 «Кібербезпека» /Укл.: А.Я.Горпенюк, Ю.Є.Зеляновський - Львів: Видавництво НУ “ЛП”, 2020.- 12 с.
Рекомендована література:
Базова:
1. Бобало Ю.Я. Інформаційна безпека: навч. посібник / Ю.Я.Бобало, І.В.Горбатий, М.Д.Кіселичник, А.П.Бондарєв, С.С.Войтусік, А.Я.Горпенюк, О.А.Нємкова, І.М.Журавель, Б.М.Березюк, Є.І.Яковенко, В.І.Отенко, І.Я.Тишик; за заг. ред. д-ра. техн. наук, проф. Ю.Я.Бобала та д-ра техн. наук, доц. І.В.Горбатого. – Львів: Видавництво Львівської політехніки, 2019. – 580 с. 35,9 обл.-вид. арк. Рекомендований Науково-методичною радою Національного університету “Львівська політехніка”.
2. В.М.Максимович, А.Я.Горпенюк, Ю.М.Костів, Н.М.Лужецька Цифрова схемотехніка. Елементи дискретних пристроїв інформаційно-комунікаційних систем. Навчальний посібник / – Львів: Видавництво Львівської політехніки, 2015р. – 136 c. 5,6 обл.-вид. арк. Рекомендований Науково-методичною радою Національного університету “Львівська політехніка”.
Допоміжна:
3. IEEE 1364-2005
4. IEEE 1800-2012 - IEEE Standard for SystemVerilog
5. Рябенький В.М., Ушкаренко О.О. MAX+plusII. Основи проектування цифрових пристроїв на ПЛІС.- К.: “Корнійчук”, 2004.
Інформаційні ресурси:
1. www.rfwireless-world.com/source-code/
2. marsohod.org/verilog
3. Сайти провідних університетів
Уніфікований додаток: Національний університет «Львівська політехніка» забезпечує реалізацію права осіб з інвалідністю на здобуття вищої освіти. Інклюзивні освітні послуги надає Служба доступності до можливостей навчання «Без обмежень», метою діяльності якої є забезпечення постійного індивідуального супроводу навчального процесу студентів з інвалідністю та хронічними захворюваннями. Важливим інструментом імплементації інклюзивної освітньої політики в Університеті є Програма підвищення кваліфікації науково-педагогічних працівників та навчально-допоміжного персоналу у сфері соціальної інклюзії та інклюзивної освіти. Звертатися за адресою:
вул. Карпінського, 2/4, І-й н.к., кімн. 112
E-mail: nolimits@lpnu.ua
Websites: https://lpnu.ua/nolimits https://lpnu.ua/integration
Академічна доброчесність: Політика щодо академічної доброчесності учасників освітнього процесу формується на основі дотримання принципів академічної доброчесності з урахуванням норм «Положення про академічну доброчесність у Національному університеті «Львівська політехніка» (затверджене вченою радою університету від 20.06.2017 р., протокол № 35).
Комп'ютерні методи високорівневого проєктування пристроїв захисту (курсовий проєкт)
Спеціальність: Безпека інформаційних і комунікаційних систем
Код дисципліни: 7.125.01.E.019
Кількість кредитів: 3.00
Кафедра: Безпека інформаційних технологій
Лектор: старший викладач Лужецька Н.М.
Семестр: 2 семестр
Форма навчання: денна
Завдання: загальні компетентності:
КЗ4. Здатність оцінювати та забезпечувати якість виконуваних робіт.
фахові компетентності професійного спрямування:
ФКС 4. Уміння здійснювати програмування базових об’єктів захисту інформації, криптосистем и криптопротоколів.
Результати навчання: Результати навчання:
РН4.Застосовувати, інтегрувати, розробляти, впроваджувати та удосконалювати сучасні інформаційні технології, фізичні та математичні методи і моделі в сфері інформаційної безпеки та/або кібербезпеки.
РН8. Досліджувати, розробляти і супроводжувати системи та засоби інформаційної безпеки та/або кібербезпеки на об’єктах інформаційної діяльності та критичної інфраструктури.
РН11. Аналізувати, контролювати та забезпечувати ефективне функціонування системи управління доступом до інформаційних ресурсів відповідно до встановлених стратегії і політики інформаційної безпеки та/або кібербезпеки організації.
РН22. Планувати та виконувати експериментальні і теоретичні дослідження, висувати і перевіряти гіпотези, обирати для цього придатні методи та інструменти, здійснювати статистичну обробку даних, оцінювати достовірність результатів досліджень, аргументувати висновки.
РН23. Обґрунтовувати вибір програмного забезпечення, устаткування та інструментів, інженерних технологій і процесів, а також обмежень щодо них в галузі інформаційної безпеки та/або кібербезпеки на основі сучасних знань у суміжних галузях, наукової, технічної та довідкової літератури та іншої доступної інформації:
Методи навчання і викладання: Самостійна робота – дослідницький метод.
Методи оцінювання досягнення результатів навчання: Поточна перевірка в процесі виконання курсового проекту. Усне опитування щодо засвоєння знань, набутих у процесі самостійного виконання завдань курсового проектування.
Необхідні обов'язкові попередні та супутні навчальні дисципліни: • Схемотехніка,
• Криптографічні системи та протоколи,
• Основи наукових досліджень та організація науки,
• Проектування СЗІ.
Короткий зміст навчальної програми: Дана дисципліна формує у студентів необхідні знання для ефективного аналізу та проектування електронних засобів кібербезпеки, автоматизованого розроблення та дослідження електронних цифрових пристроїв кібербезпеки. Вивчаються та застосовуються для проектування заданого пристрою засоби мови високого рівня опису електронних пристроїв VERILOGHDL.
Опис: Курсовий проект
Мета:
• закріплення та поглиблення теоретичних знань з дисципліни;
• набуття досвіду з аналізу та проектування електронних засобів мовою VERILOGHDL;
• набуття досвіду застосування САПР щодо аналізу та проектування електронних засобів мовою VERILOGHDL.
Зміст:
• технічне завдання на розробку криптографічної підсистеми захисту мовою VERILOGHDL;
• розробка та відлагодження VERILOGHDL -моделі криптографічної підсистеми захисту.
Орієнтовний обсяг розрахунково - пояснювальної записки: 30-50 сторінок.
Необхідний час для виконання роботи 90 годин.
Консультації проводяться відповідно до наведеного змісту курсового проектування.
Форма контролю – диференційований залік.
Методи та критерії оцінювання: Оцінювання рівня досягнення результатів навчання проводиться у таких формах:
• виявлення рівня знань студентів в процесі виконання завдань курсового проектування;
• перевірка виконання завдання на курсове проектування;
• виявлення рівня теоретичних знань і практичних навичок в процесі захисту курсового проекту;
Підсумковий контроль здійснюється за результатами захисту курсового проекту перед комісією.
Критерії оцінювання результатів навчання: Перевірка виконання завдань курсового проектування: 50 балів.
Захист курсового проекту: 50 балів.
Разом за дисципліну: 100 балів.
Порядок та критерії виставляння балів та оцінок: 100–88 балів – («відмінно») виставляється за високий рівень знань (допускаються деякі неточності) навчального матеріалу компонента, що міститься в основних і додаткових рекомендованих літературних джерелах, вміння аналізувати явища, які вивчаються, у їхньому взаємозв’язку і роз витку, чітко, лаконічно, логічно, послідовно відповідати на поставлені запитання, вміння застосовувати теоретичні положення під час розв’язання практичних задач; 87–71 бал – («добре») виставляється за загалом правильне розуміння навчального матеріалу компонента, включаючи розрахунки , аргументовані відповіді на поставлені запитання, які, однак, містять певні (неістотні) недоліки, за вміння застосовувати теоретичні положення під час розв’язання практичних задач; 70 – 50 балів – («задовільно») виставляється за слабкі знання навчального матеріалу компонента, неточні або мало аргументовані відповіді, з порушенням послідовності викладення, за слабке застосування теоретичних положень під час розв’язання практичних задач; 49–26 балів – («не атестований» з можливістю повторного складання семестрового контролю) виставляється за незнання значної частини навчального матеріалу компонента, істотні помилки у відповідях на запитання, невміння застосувати теоретичні положення під час розв’язання практичних задач; 25–00 балів – («незадовільно» з обов’язковим повторним вивченням) виставляється за незнання значної частини навчального матеріалу компонента, істотні помилки у відповідях на запитання, невміння орієнтуватися під час розв’язання практичних задач, незнання основних фундаментальних положень.
Рекомендована література: Навчально-методичне забезпечення:
1. Горпенюк А.Я. Електронний навчально-методичний комплекс «Комп’ютерні методи високорівневого проектування пристроїв захисту» у Віртуальному середовищі Львівської політехніки.
2. Хомич С.В. Курс лекцій з дисципліни “Мови опису апаратних засобів”.
3. Горпенюк А.Я., Зеляновський Ю.Є. Навчальний посібник для проектування мовою VERILOG ПЛІС Altera (FPGA) у середовищі Quartus® II.
Рекомендована література:
Базова:
1. Бобало Ю.Я. Інформаційна безпека: навч. посібник / Ю.Я.Бобало, І.В.Горбатий, М.Д.Кіселичник, А.П.Бондарєв, С.С.Войтусік, А.Я.Горпенюк, О.А.Нємкова, І.М.Журавель, Б.М.Березюк, Є.І.Яковенко, В.І.Отенко, І.Я.Тишик; за заг. ред. д-ра. техн. наук, проф. Ю.Я.Бобала та д-ра техн. наук, доц. І.В.Горбатого. – Львів: Видавництво Львівської політехніки, 2019. – 580 с. 35,9 обл.-вид. арк. Рекомендований Науково-методичною радою Національного університету “Львівська політехніка”.
2. В.М.Максимович, А.Я.Горпенюк, Ю.М.Костів, Н.М.Лужецька Цифрова схемотехніка. Елементи дискретних пристроїв інформаційно-комунікаційних систем. Навчальний посібник / – Львів: Видавництво Львівської політехніки, 2015р. – 136 c. 5,6 обл.-вид. арк. Рекомендований Науково-методичною радою Національного університету “Львівська політехніка”.
Допоміжна:
3. IEEE 1364-2005
4. IEEE 1800-2012 - IEEE Standard for SystemVerilog
Інформаційні ресурси:
1. iosifk.narod.ru/hdl_coding/verilog.htm
2. marsohod.org/verilog
3. www.rfwireless-world.com/source-code/
4. Сайти провідних університетів
Уніфікований додаток: Національний університет «Львівська політехніка» забезпечує реалізацію права осіб з інвалідністю на здобуття вищої освіти. Інклюзивні освітні послуги надає Служба доступності до можливостей навчання «Без обмежень», метою діяльності якої є забезпечення постійного індивідуального супроводу навчального процесу студентів з інвалідністю та хронічними захворюваннями. Важливим інструментом імплементації інклюзивної освітньої політики в Університеті є Програма підвищення кваліфікації науково-педагогічних працівників та навчально-допоміжного персоналу у сфері соціальної інклюзії та інклюзивної освіти. Звертатися за адресою:
вул. Карпінського, 2/4, І-й н.к., кімн. 112
E-mail: nolimits@lpnu.ua
Websites: https://lpnu.ua/nolimits https://lpnu.ua/integration
Академічна доброчесність: Політика щодо академічної доброчесності учасників освітнього процесу формується на основі дотримання принципів академічної доброчесності з урахуванням норм «Положення про академічну доброчесність у Національному університеті «Львівська політехніка» (затверджене вченою радою університету від 20.06.2017 р., протокол № 35).