Прикладная дискретная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


ПДМ:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Прикладная дискретная математика, 2009, номер 1(3), страницы 113–116 (Mi pdm55)  
Математические основы компьютерной безопасности

Об использовании формальных моделей для анализа уязвимостей

Д. Н. Колегов

Томский государственный университет, г. Томск
PDF полного текста (422 kB)
Список литературы:
PDF
HTML
Аннотация: В статье рассматривается возможный подход к анализу уязвимостей с использованием математических моделей безопасности компьютерных систем. В рамках ДП-моделей строится модель нарушителя, описанная в “Критериях оценки безопасности информационных технологий”, и дается математическое определение стойкости к проникновению.
Ключевые слова: анализ уязвимостей, модель нарушителя, тестирование проникновения, модели безопасности, функциональные требования, обоснование безопасности, доверие.
Тип публикации: Статья
УДК: 681.322
Образец цитирования: Д. Н. Колегов, “Об использовании формальных моделей для анализа уязвимостей”, ПДМ, 2009, № 1(3), 113–116
Цитирование в формате AMSBIB
\RBibitem{Kol09}
\by Д.~Н.~Колегов
\paper Об использовании формальных моделей для анализа уязвимостей
\jour ПДМ
\yr 2009
\issue 1(3)
\pages 113--116
\mathnet{http://mi.mathnet.ru/pdm55}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdm55
  • https://www.mathnet.ru/rus/pdm/y2009/i1/p113
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Прикладная дискретная математика
    Статистика просмотров:
    Страница аннотации:1258
    PDF полного текста:208
    Список литературы:53
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024