Аннотация:
В статье рассматривается возможный подход к анализу уязвимостей с использованием математических моделей безопасности компьютерных систем. В рамках ДП-моделей строится модель нарушителя, описанная в “Критериях оценки безопасности информационных технологий”, и дается математическое определение стойкости к проникновению.
Ключевые слова:анализ уязвимостей, модель нарушителя, тестирование проникновения, модели безопасности, функциональные требования, обоснование безопасности, доверие.
Полный текст:
PDF файл (422 kB)