Математические модели в компьютерной безопасности
Название спецкурса на английском языке
Mathematical models in computer security
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Весна
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2025/26
Список тем
Стандарты в области информационной безопасности
Уровни и механизмы обеспечения безопасности компьютерных систем
Математические модели безопасности на системном уровне
Скрытые каналы передачи информации. Стеганография.
Выявление и предупреждение вторжений: сигнатурный и статистический подход
Модели защищенных баз данных
Криптографические стандарты и перспективные криптоалгоритмы
Уровни и механизмы обеспечения безопасности компьютерных систем
Математические модели безопасности на системном уровне
Скрытые каналы передачи информации. Стеганография.
Выявление и предупреждение вторжений: сигнатурный и статистический подход
Модели защищенных баз данных
Криптографические стандарты и перспективные криптоалгоритмы
Список источников
Александров Д.Е. Эффективные методы реализации проверки содержания сетевых пакетов регулярными выражениями // Интеллектуальные системы. Теория и приложения, 18(1):37-60, 2014
Галатенко А.В. Активный аудит // JetInfo, 8:3-28, 1999
Галатенко А.В. Об автоматной модели защищенных компьютерных систем // Интеллектуальные системы, 4(3-4):263-270, 1998
Галатенко В.А. Основы информационной безопасности. Интернет-Университет Информационных Технологий, 2006.
Грушо А.А. О существовании скрытых каналов // Дискретная математика, 11(1):24-28, 1999
Грушо А.А. Скрытые каналы и безопасность информации в компьютерных системах // Дискретная математика, 10(1):3-9, 1998
Грушо А.А., Тимонина Е.Е. Теоретические основы защиты информации. ``Яхтсмен'', 1996.
Зензин О.С., Иванов М.А. Стандарт криптографической защиты - AES. Конечные поля. М.: Кудиц-Образ, 2002
Ермохин М.А. Состоятельность долгосрочных профилей в системах выявления вторжений // Интеллектуальные системы. Теория и приложения, 20(3):199-203, 2016
Тимонина Е.Е. Скрытые каналы (обзор) // JetInfo, 14(114):3-11, 2002
Afonin S., Bonushkina A. Validation of Safety-Like Properties for Entity-Based Access Control Policies // Proceedings of the international conference "Advances in Soft and Hard Computing", 2019, 259-271
Daemen J. Cipher and Hash Function Design - Strategies based on linear and differential cryptanalysis. PhD Thesis, 1995
Javitz H.S., Valdes A. The NIDES statistical component: Description and justification // Annual report, Computer Science Laboratory, SRI International, Menlo Park, 1994
Lampson B.W. A Note on the Confinement Problem // Communications of the ACM, 16(10):613-615, 1973
Mohamed E., Belal M.A. Digital watermarking techniques, applications and attacks applied to digital media: A survey // International Journal of Engineering Research and Technology, 1(7):1-8, 2012
Moskowitz I.S., Costich O.L. A classical automata approach to noninterference type problems // Proceedings The Computer Security Foundations Workshop V, Franconia, NH, USA, 1992, pp. 2-8.
Schneier B. Applied cryptography. Protocols, algorithms and source code in C. John Wiley & Sons, 1996
Shcherbacov V.A. Quasigroups in cryptology // Computer Science Journal of Moldova, 17(2):193-228, 2009
Галатенко А.В. Активный аудит // JetInfo, 8:3-28, 1999
Галатенко А.В. Об автоматной модели защищенных компьютерных систем // Интеллектуальные системы, 4(3-4):263-270, 1998
Галатенко В.А. Основы информационной безопасности. Интернет-Университет Информационных Технологий, 2006.
Грушо А.А. О существовании скрытых каналов // Дискретная математика, 11(1):24-28, 1999
Грушо А.А. Скрытые каналы и безопасность информации в компьютерных системах // Дискретная математика, 10(1):3-9, 1998
Грушо А.А., Тимонина Е.Е. Теоретические основы защиты информации. ``Яхтсмен'', 1996.
Зензин О.С., Иванов М.А. Стандарт криптографической защиты - AES. Конечные поля. М.: Кудиц-Образ, 2002
Ермохин М.А. Состоятельность долгосрочных профилей в системах выявления вторжений // Интеллектуальные системы. Теория и приложения, 20(3):199-203, 2016
Тимонина Е.Е. Скрытые каналы (обзор) // JetInfo, 14(114):3-11, 2002
Afonin S., Bonushkina A. Validation of Safety-Like Properties for Entity-Based Access Control Policies // Proceedings of the international conference "Advances in Soft and Hard Computing", 2019, 259-271
Daemen J. Cipher and Hash Function Design - Strategies based on linear and differential cryptanalysis. PhD Thesis, 1995
Javitz H.S., Valdes A. The NIDES statistical component: Description and justification // Annual report, Computer Science Laboratory, SRI International, Menlo Park, 1994
Lampson B.W. A Note on the Confinement Problem // Communications of the ACM, 16(10):613-615, 1973
Mohamed E., Belal M.A. Digital watermarking techniques, applications and attacks applied to digital media: A survey // International Journal of Engineering Research and Technology, 1(7):1-8, 2012
Moskowitz I.S., Costich O.L. A classical automata approach to noninterference type problems // Proceedings The Computer Security Foundations Workshop V, Franconia, NH, USA, 1992, pp. 2-8.
Schneier B. Applied cryptography. Protocols, algorithms and source code in C. John Wiley & Sons, 1996
Shcherbacov V.A. Quasigroups in cryptology // Computer Science Journal of Moldova, 17(2):193-228, 2009
День недели
понедельник
Время
18:30-20:05
Аудитория
410
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.