Використання SMT–розв’язникiв для передбачення псведовипадкових послiдовностей

Скорочена інформація про документ
dc.contributor.authorРiшко, К. М.
dc.contributor.authorСтьопочкiна, I. В.
dc.date.accessioned2022-11-08T09:53:42Z
dc.date.available2022-11-08T09:53:42Z
dc.date.issued2020
dc.description.abstractukРобота присвячена моделюванню системи у SMT-розв’язнику Z3, яка дозволяє реалiзвати атаку на генератор псевдовипадкових чисел, що використовується у мовi програмування Java, та атаку на реальнi веб-застосунки, що використовують цей генератор. Проаналiзовано основнi сфери використання розв’язникiв SAT та SMT в областi iнформацiйної безпеки. Результатом роботи є система обмежень в SMT-розв’язнику Z3, написана мовою програмування Python, що дозволяє здiйснити атаку на методи класу java.util.Random. Результат роботи може бути використано для тестування безпеки програмних застосункiв, зокрема таких, якi використовують генерацiю псевдовипадкових чисел.uk
dc.format.pagerangeС. 195–198uk
dc.identifier.citationРiшко, К. М. Використання SMT–розв’язникiв для передбачення псведовипадкових послiдовностей / К. М. Рiшко, I. В. Стьопочкiна // XVIIІ Всеукраїнська науково-практична конференція студентів, аспірантів та молодих вчених «Теоретичні і прикладні проблеми фізики, математики та інформатики» (Україна, м. Київ, 12-13 травня 2020 р.) : матеріали конференції. – Київ : КПІ ім. Ігоря Сікорського, 2020. – С. 195–198. – Бібліогр.: 11 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/50914
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.sourceXVIII Всеукраїнська науково-практична конференція студентів, аспірантів та молодих вчених «Теоретичні і прикладні проблеми фізики, математики та інформатики» (Україна, м. Київ, 12 − 13 травня 2020 р.) : матеріали конференціїuk
dc.subjectSATuk
dc.subjectSMTuk
dc.subjectSAT–розв’язникиuk
dc.subjectSMT–розв’язникиuk
dc.subjectпсевдовипадковi послiдовностiuk
dc.subjectZ3uk
dc.titleВикористання SMT–розв’язникiв для передбачення псведовипадкових послiдовностейuk
dc.typeArticleuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
(195-198)_Rishko.pdf
Розмір:
664.46 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Секцiя. Системи та технологiї кiбернетичної безпеки