Математичні методи кібернетичної безпеки

Опис секції:

Секція присвячена застосуванню математичних підходів, моделей і методів до задач забезпечення кібербезпеки.
Обговорюються як фундаментальні, так і прикладні аспекти формалізації, моделювання, аналізу та верифікації інформаційної безпеки на рівні алгоритмів, протоколів і систем.

Приймаються матеріали:

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