Оценка эффективности криптографической защиты информационных ресурсов в корпоративных системах Савельева А.А, Авдошин С.М. Государственный университет – Высшая школа экономики Кафедра «Управление разработкой программного обеспечения» Области применения криптографических технологий Шифрование; Управление идентичностью; Цифровая подпись кода; Доверенная платформа; Разграничение доступа; Управление авторством; Построение VPN; Гарантированное уничтожение информации; Защита от физической кражи носителя информации. 2 Высшая школа экономики - 2008 Криптотехологии Microsoft Авдошин С.М., Савельева А.А. Криптотехнологии Microsoft // М.: Новые технологии, 2008. – 32 с.: ил. (Библиотечка журнала "Информационные технологии" №9).Библиогр.: с. 30-32. Прил. к журналу "Информационные технологии" №9/2008 УДК 004.056 3 Высшая школа экономики - 2008 Криптографические средства « - средства вычислительной техники, осуществляющие криптографическое преобразование информации для обеспечения ее конфиденциальности и контроля целостности» ГОСТ Р 50922-96. Защита информации. Основные термины и определения. 4 Высшая школа экономики - 2008 Методы оценки Анализ криптостойкости Математическая оценка защищенности информации от несанкционированного доступа, разработанная В.П. Ивановым Методы и инструменты анализа и контроля информационных рисков британский CRAMM (Insight Consulting, подразделение Siemens) американский RiskWatch (компания RiskWatch) российский ГРИФ (компания Digital Security). 5 Высшая школа экономики - 2008 Методы оценки Анализ криптостойкости Математическая оценка защищенности информации от несанкционированного доступа, разработанная В.П. Ивановым Методы и инструменты анализа и контроля информационных рисков британский CRAMM (Insight Consulting, подразделение Siemens) американский RiskWatch (компания RiskWatch) российский ГРИФ (компания Digital Security). 6 Высшая школа экономики - 2008 Анализ криптостойкости Стойкость - способность криптосистемы противостоять атакам криптоаналитика Различают: стойкость ключа (сложность раскрытия ключа наилучшим известным алгоритмом), стойкость бесключевого чтения имитостойкость (сложность навязывания ложной информации наилучшим известным алгоритмом) стойкость собственно криптоалгоритма стойкость протокола стойкость алгоритма распространения ключей 7 Высшая школа экономики - 2008 Анализ криптостойкости Количественно измеряется как: теоретически: сложность наилучшего алгоритма, приводящего криптоаналитика к успеху с приемлемой вероятностью оценка сверху: универсальный метод прямого перебора множества всех возможных ключей оценка снизу: относительное ожидаемое безопасное время: полупроизведение числа открытых ключей и времени, необходимого криптоаналитику для того, чтобы испытывать каждый ключ 8 Высшая школа экономики - 2008 Анализ криптостойкости Недостатки метода: В зависимости от целей и возможностей криптоаналитика меняется и стойкость. Криптостойкость – важный, но не единственный критерий. Существенны также: • минимальный объем используемой ключевой информации; • минимальная сложность реализации (в количестве машинных операций); • стоимость; • высокое быстродействие. 9 Высшая школа экономики - 2008 Методы оценки Анализ криптостойкости Математическая оценка защищенности информации от несанкционированного доступа, разработанная В.П. Ивановым Методы и инструменты анализа и контроля информационных рисков британский CRAMM (Insight Consulting, подразделение Siemens) американский RiskWatch (компания RiskWatch) российский ГРИФ (компания Digital Security). 10 Высшая школа экономики - 2008 Математическая оценка В.П.Иванова Вероятностно-временная группа показателей эффективности защиты: среднее время безопасного функционирования защищаемой системы время безопасного функционирования защищаемой системы с вероятностью ее поражения НСД не выше заданной экономическая эффективность созданной системы защиты информации 11 Высшая школа экономики - 2008 Математическая оценка В.П.Иванова Постановка задачи: Дано: система обработки данных (СОД), в которой реализована комплексная система ЗИ на основе технического средства ЗИ. Пусть к злоумышленникам попал экземпляр данного технического средства защиты и начался процесс злоумышленного изучения технического средства защиты. Требуется: оценить стойкость системы ЗИ от ее злоумышленного изучения по выбранным показателям эффективности. 12 Высшая школа экономики - 2008 Математическая оценка В.П.Иванова Аппарат: Решение задачи оценки времени, необходимого злоумышленнику для изучения системы ЗИ - с использованием метрик Холстеда Среднее время T изучения шифрующей программы злоумышленником: T = 3N3 , где N – длина программы в байтах. 13 Высшая школа экономики - 2008 Математическая оценка В.П.Иванова Недостатки метода Границы применимости: подходит только для оценки криптосистем ограниченного использования (по классификации Ж.Брассара), что противоречит фундаментальному допущению Кирхгоффа Не учитывает зависимости эффективности криптосистемы от условий ее использования 14 Высшая школа экономики - 2008 Методы оценки Анализ криптостойкости Математическая оценка защищенности информации от несанкционированного доступа, разработанная В.П. Ивановым Методы и инструменты анализа и контроля информационных рисков британский CRAMM (Insight Consulting, подразделение Siemens) американский RiskWatch (компания RiskWatch) российский ГРИФ (компания Digital Security). 15 Высшая школа экономики - 2008 Анализ информационных рисков: CRAMM Функции: анализ рисков проведение обследования ИС и выпуск сопроводительной документации на всех этапах его проведения; проведение аудита в соответствии с требованиями Британского правительства, а также стандарта BS 7799:1995 «Code of Practice for Information Security Management» разработка политики безопасности и плана обеспечения непрерывности бизнеса. 16 Высшая школа экономики - 2008 Анализ информационных рисков: CRAMM 1 стадия: идентификация и определение ценности защищаемых ресурсов 2 стадия: идентификация и оценка угроз в сфере ИБ, поиск и оценка уязвимостей защищаемой системы 3 стадия: генерация вариантов мер противодействия выявленным рискам: рекомендации общего характера; конкретные рекомендации; примеры того, как можно организовать защиту в данной ситуации. Недостатки метода: не учитывает специфики СКЗИ! 17 Высшая школа экономики - 2008 Цели и задачи Разработка формальной модели оценки эффективности криптосистемы в заданном контексте использования; Разработка инструментальных средств для оценки стойкости криптосистем к различным видам атак; Разработка методов, позволяющих повысить эффективность алгоритмов криптоанализа; Систематизация и анализ методик оценки экономической эффективности инвестиций в обеспечение информационной безопасности. 18 Высшая школа экономики - 2008 Из перечня основных направлений и приоритетных проблем научных исследований в области ИБ 46. «Разработка моделей угроз безопасности систем и способов их реализации, определение критериев уязвимости и устойчивости систем к деструктивным воздействиям…, разработка методологии и методического аппарата оценки ущерба от воздействия угроз информационной безопасности»; 47. «Разработка методов и средств проведения экспертизы и контроля качества защиты информации и информационных ресурсов, в том числе вопросов оценки базовых общесистемных программных средств на соответствие требованиям информационной безопасности»; 56. «Разработка и обоснование новых методов криптографического анализа современных шифрсистем». 19 Высшая школа экономики - 2008 Процесс оценки эффективности криптосистемы Сделать выводы о соответствии криптосистемы потребностям организации Этап 5 Оценить устойчивость системы к этим атакам Выделить набор атак, которым подвержена криптосистема Определить потенциальных злоумышленников Описать криптосистему Этап 4 Этап 3 Этап 2 Этап 1 20 Высшая школа экономики - 2008 Процесс оценки эффективности криптосистемы Сделать выводы о соответствии криптосистемы потребностям организации Этап 5 Оценить устойчивость системы к этим атакам Выделить набор атак, которым подвержена криптосистема Определить потенциальных злоумышленников Описать криптосистему Этап 4 Этап 3 Этап 2 Этап 1 21 Высшая школа экономики - 2008 Сценарий взлома криптосистемы Злоумышленник использует Атака чтобы взломать Криптосистема 22 Высшая школа экономики - 2008 Предпосылки Один взломщик может предпринять атаки различного типа, а одна и та же атака может исходить от разных взломщиков; К одной и той же криптосистеме применимы атаки различного типа, а одна и та же атака позволяет взломать различные криптосистемы; Злоумышленник с наибольшей вероятностью выберет ту атаку, которая обеспечит максимальный результат при фиксированных затратах, либо наименее затратный вариант из множества атак, приводящих к одинаковому результату. 23 Высшая школа экономики - 2008 Классификация криптосистем Классификация Ули Маурера (Ueli Maurer) по количеству ключей Бесключевые Одноключевые Двухключевые + Многоключевые Классификация Жиля Брассара (Gilles Brassard) - по секретности алгоритма шифрования Криптосистемы ограниченного использования Криптосистемы общего использования 24 Высшая школа экономики - 2008 Классификация криптосистем По доступности информации о криптоалгоритме Криптосистемы ограниченного использования Криптосистемы общего использования По количеству ключей Бесключевые Одноключевые Двухключевые Многоключевые По стойкости криптоалгоритма Безусловно стойкие Доказуемо стойкие Предположительно стойкие По используемым средствам шифрования Программные Аппаратные Программно-аппаратные По наличию сертификата Сертифицированные Несертифицированные 25 Высшая школа экономики - 2008 Классификация взломщиков Модель нарушителя должна учитывать: Категории лиц, в числе которых может оказаться нарушитель; Предположения о квалификации нарушителя и его технической оснащённости; Возможные цели нарушителя и ожидаемый характер его действий. Классификация Брюса Шнайера – по движущим мотивам: Взломщики, в основе мотивации которых лежит корыстный интерес; Взломщики, в основе мотивации которых лежат эмоциональные побуждения; Друзья/родственники; Промышленные конкуренты; Пресса; Правительство; Полиция; Научно-исследовательские организации. 26 Высшая школа экономики - 2008 Классификация взломщиков по по по по по по технической оснащенности Персональный компьютер Сеть ЭВМ Суперкомпьютер конечной цели Обнаружение слабости в алгоритме Полный взлом алгоритма доступу к шифрующим средствам «внутренний» нарушитель «внешний» нарушитель уровню подготовки Взаимодействие с компьютером на уровне пользователя Математический аппарат Программирование Электротехника и физика Социальная инженерия первичной информации о средстве шифрования пользователь криптограф «клептограф» возможности кооперации «Одиночка» Коллектив 27 Высшая школа экономики - 2008 Классификация атак Классическая классификация Кирхгоффа по доступу к открытому и зашифрованному тексту с появлением атак по побочным каналам уже не может считаться полной. Современные схемы для описания атак на компьютерные системы Landwehr C.E., Bull A.R. A taxonomy of computer program security flaws, with examples // ACM Computing Surveys, 26(3): p. 211–254, September 1994. Lindqvist U., Jonsson E. How to systematically classify computer security intrusions. // IEEE Symposium on Security and Privacy, p. 154–163, Los Alamitos, CA, 1997. Paulauskas N., Garsva E. Computer System Attack Classification // Electronics and Electrical Engineering 2006. nr. 2(66) Weber D. J. A taxonomy of computer intrusions. Master’s thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, June 1998. 28 Высшая школа экономики - 2008 Классическая классификация Кирхгоффа по доступу к открытому и зашифрованному тексту с появлением атак по побочным каналам уже не может считаться полной. Современные схемы для описания атак на компьютерные системы Landwehr C.E., Bull A.R. A taxonomy of computer program security flaws, with examples // ACM Computing Surveys, 26(3): p. 211–254, September 1994. Lindqvist U., Jonsson E. How to systematically classify computer security intrusions. // IEEE Symposium on Security and Privacy, p. 154–163, Los Alamitos, CA, 1997. Paulauskas N., Garsva E. Computer System Attack Classification // Electronics and Electrical Engineering 2006. nr. 2(66) Weber D. J. A taxonomy of computer intrusions. Master’s thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, June 1998. 29 Не подходят для идентификации криптоатак! Классификация атак Высшая школа экономики - 2008 Классификация атак (1/2) по на по по по доступу к открытому и зашифрованному тексту основе: только шифртекста открытого текста подобранного открытого текста адаптивно подобранного открытого текста информации из побочных каналов контролю над процессом пассивные активные исходу атаки полный взлом глобальная дедукция частичная дедукция информационная дедукция критическим ресурсам память время данные 30 Высшая школа экономики - 2008 Классификация атак (2/2) по по по по степени применимости к различным шифрам универсальные для определенной категории шифров для конкретного криптоалгоритма используемым средствам математические методы устройства перехватчики физических параметров процесса шифрования эволюционное программирование квантовые компьютеры последствиям нарушение конфиденциальности нарушение целостности нарушение доступности возможности распараллеливания распределенные не распределенные 31 Высшая школа экономики - 2008 Классификации Классификация криптосистем по доступности информации о криптоалгоритме Классификация атак по количеству ключей по стойкости криптоалгоритма по доступу к открытому и зашифрованному тексту по используемым средствам шифрования по контролю над процессом по наличию сертификата по исходу атаки по критическим ресурсам по степени применимости к различным шифрам Классификация взломщиков по используемым по технической оснащенности средствам по конечной цели по последствиям по доступу к шифрующим по возможности средствам распараллеливания по уровню подготовки по первичной информации о средстве шифрования по возможности кооперации 32 Высшая школа экономики - 2008 Модель угроз как композиция модели криптосистемы, злоумышленника и атаки r a Параметрическая модель атаки: Î A где A Í A1 ´ A2 ´ ... ´ A8 , A j ( j = 1, 8) - множество значений j-го параметра модели атаки r Параметрическая модель злоумышленника: b Î B где B Í B 1 ´ B 2 ´ ... ´ B 6 , B j ( j = 1, 6) - множество значений j-го параметра модели злоумышленника r Параметрическая модель криптосистемы : c Î C где £ Í C 1 ´ C 2 ´ ... ´ C 5 , C j ( j = 1, 5) - множество значений j-го параметра модели криптосистемы 33 Высшая школа экономики - 2008 Математическая модель оценки эффективности криптосистемы r rr r r r r Â(a, b, c) = I(a, c) ×R(a, b) I : A ´ £ ® [0; 1] r r I(a, c ) = min Õ h = 1,8 g = 1,5 R : A ´ B ® [0; 1] r r R(a, b) = I gh (cg , ah ) Rth (b, a ) = Igh ( x, a ) xÎ Cg Igh : C g ´ Ah ® ¡ Rth (bt , ah ) Rth : B t ´ Ah ® [0; 1], t = 1, 6, h = 1, 8 Igh (c, a ) å Õ h = 1,8 t = 1,6 Igh : C g ´ Ah ® [0; 1], g = 1, 5, h = 1, 8 Igh (c, a ) = min Rth (b, a ) å Rth ( b , a ) b Î Bt Rth : Bt ´ Ah ® ¡ + 34 + Высшая школа экономики - 2008 Критерий эффективности За критерий эффективности криптосистемы, r состоящей из подсистем c Î £ ¢ ( £ ¢Í £ ) , в условиях, когда ей угрожают злоумышленники r b Î B ¢( B ¢ Í B) , примем ее способность противостоять атакам, входящим в множество L= где r r l (b, c) = ur U r r bÎ B ¢ c Î C ¢ {a Î q Î [0; 1] r r U l (b, c) , ur r r A : Â(a, b, c) > q }, - заданное пороговое значение риска 35 Высшая школа экономики - 2008 Пример Атака методом полного перебора по доступу к открытому и зашифрованному тексту: на основе только шифртекста по контролю над процессом: пассивная по исходу атаки: полный взлом по критическим ресурсам: время/память по степени применимости к различным шифрам: универсальная по используемым средствам: математические методы по последствиям: нарушение конфиденциальности по возможности распараллеливания: распределенная Взломщики, которые с большой вероятностью предпочтут эту атаку: по технической оснащенности: сеть ЭВМ по уровню подготовки: Программист, владеет математическим аппаратом по возможности кооперации: коллектив Криптосистемы, к которым применим этот тип атаки любые 36 Высшая школа экономики - 2008 Анализ разработанной модели Получение экспертных оценок взаимного влияния параметров криптосистемы и атаки, а также злоумышленника и атаки; Поддержание базы оценок в актуальном состоянии, т.к. с ростом вычислительных мощностей, изменением цен на аппаратные и программные средства и под влиянием других факторов уровень взаимного влияния параметров может меняться; с появлением новых видов атак может возникнуть необходимость дополнения разработанных классификационных схем новыми критериями, что потребует введения новых зависимостей для соответствующих параметров моделей. 37 Высшая школа экономики - 2008 Процесс оценки эффективности криптосистемы Сделать выводы о соответствии криптосистемы потребностям организации Этап 5 Оценить устойчивость системы к этим атакам Выделить набор атак, которым подвержена криптосистема Определить потенциальных злоумышленников Описать криптосистему Этап 4 Этап 3 Этап 2 Этап 1 38 Высшая школа экономики - 2008 Оценка устойчивости Опубликованная статистика www.distributed.net: вскрытие RC5-64 методом «распределенного взлома» • более 300 тысяч пользователей глобальной сети, • время перебора: пять лет (1757 дней) • 85% всего пространства ключей А что, если: опубликованной статистики нет, шифр новый, математические открытия привели к возможности ранее не использовавшегося типа атаки? 39 Высшая школа экономики - 2008 Доступные средства для криптоанализа Библиотеки функций для работы с длинной арифметикой Математические пакеты Maple и Mathematica 40 Высшая школа экономики - 2008 Доступные решения (1/3) Математические пакеты Maple и Mathematica «+»: простота кодирования алгоритмов «+»: нет ограничений на разрядность «-»: платформенная зависимость «-»: низкая эффективность 41 Высшая школа экономики - 2008 Доступные решения (2/3) Встроенные числовые типы языков C и C++ имеют ограниченную разрядность long – 32 бита long long – 64 бита double: 53 бита – мантисса, 11 бит – экспонента long double: 64 бита – мантисса, 15 бит экспонента Java поддерживает возможность работы с длинными числами «+»: переносимость «-»: низкая эффективность 42 Высшая школа экономики - 2008 Доступные решения (3/3) Библиотеки функций для работы с длинной арифметикой «+»: высокая эффективность «+»: большой выбор решений в открытом доступе (LIP, LiDIA, CLN, PARI, GMP, MpNT) 43 Высшая школа экономики - 2008 LIP (Large Integer Package) Библиотека для работы с длинной арифметикой Авторы: Arjen K. Lenstra, Paul Leyland Одна из первых библиотек Язык: ANSI C «+»: переносимость «-»: низкая эффективность 44 Высшая школа экономики - 2008 CLN (a Class Library for Numbers) Реализует элементарные арифметические, логические и трансцендентные функции Авторы: Bruno Haible, Richard Kreckel Язык: C++ Большой набор классов: Целые числа Рациональные числа Числа с плавающей запятой Комплексные числа Модулярная арифметика «-» универсальная числовая библиотека => ограниченная применимость для решения узкоспециализированных задач. 45 Высшая школа экономики - 2008 LiDIA Автор: Thomas Papanikolau (Technical University of Darmstadt) Язык: C++ Поддерживает различные пакеты для работы с целыми числами (Berkley MP, GMP, CLN, libl, LIP) Высокоэффективные реализации: типов данных с увеличенной точностью алгоритмов с большой временной сложностью «-»: невозможность сборки в операционных системах Windows 46 Высшая школа экономики - 2008 GMP (GNU Multiple Precision arithmetic library) Библиотека теоретико-числовых алгоритмов Автор: Torbjord Granlund (free software group) Язык: C, ASM Упор на скорость Эффективность растет при увеличении разрядности операндов «-»: невозможность сборки в операционных системах Windows «-»: отсутствие алгоритмов формирования факторной базы, решета, разложения на множители 47 Высшая школа экономики - 2008 NTL (a Library for doing Number Theory) Библиотека теоретико-числовых алгоритмов Автор: Victor Shoup Язык: C++ Переносимость Высокоэффективные реализации: полиномиальной арифметики решеток Для повышения эффективности можно использовать совместно с GMP «-»: невозможность сборки в операционных системах Windows «-»: для эффективного применения в задачах оценки стойкости систем специалист должен обладать высокой квалификацией программиста 48 Высшая школа экономики - 2008 Доступные средства для криптоанализа Библиотеки функций для работы с длинной арифметикой Математические пакеты Maple и Mathematica 49 Высшая школа экономики - 2008 Структура программного комплекса «КРИПТО» 50 Высшая школа экономики - 2008 Теоретическая база Авдошин С.М., Савельева А.А. Криптоанализ: современное состояние и перспективы развития // М.: Новые технологии, 2007. – 32 с.: ил. - (Библиотечка журнала "Информационные технологии" №3).Библиогр.: с. 30-32. Прил. к журналу "Информационные технологии" №3/2007 УДК 003.26, 004.056 51 Высшая школа экономики - 2008 Интерфейс пользователя 52 Высшая школа экономики - 2008 Авторские свидетельства 53 Высшая школа экономики - 2008 Процесс оценки эффективности криптосистемы Сделать выводы о соответствии криптосистемы потребностям организации Этап 5 Оценить устойчивость системы к этим атакам Выделить набор атак, которым подвержена криптосистема Определить потенциальных злоумышленников Описать криптосистему Этап 4 Этап 3 Этап 2 Этап 1 54 Высшая школа экономики - 2008 Выбор методики оценки экономической эффективности Методика оценки Преимущества Недостатки Показатель, понятный финансистам Отсутствие достоверных методов расчета «Статичный» показатель Совокупная стоимость владения (TCO) Позволяет оценить целесообразность реализации проекта на основании только затрат Предполагает оценку затрат на различных этапах ЖЦ системы Не учитывает качество системы безопасности «Статичный» показатель Показатель, специфичный для ИТ Дисконтированные показатели эффективности инвестиций Показатель, понятный финансистам Учитывает зависимость потока денежных средств от времени Учитывает все потоки денежный средств, связанные с реализацией проекта Сложность расчета Коэффициент возврата инвестиций (ROI) 55 Высшая школа экономики - 2008 Метод дисконтированных показателей Для определения эффективности инвестиционного проекта оцениваются: Чистый дисконтированный доход (NPV), Внутренняя норма доходности (IRR), Индекс доходности (PI), Срок окупаемости с учетом дисконтирования (Ток) 56 Высшая школа экономики - 2008 Достоинства разработанной методики Методика позволяет провести экономическое обоснование расходов организации на обеспечение информационной безопасности и непрерывности бизнеса с использованием СКЗИ. Методика позволяет оценить не только риски, связанные с защищаемыми информационными ресурсами, но и выгоду, которую может принести внедрение СКЗИ. В основе методики лежит комплексный подход к оценке рисков, основанный на формализованном пятиэтапном процессе оценки эффективности криптосистемы и математической модели угроз. Методика является универсальной и подходит для организаций различного масштаба как правительственного, так и коммерческого сектора. Методика помогает провести анализ рисков, сочетающий количественные и качественные методы анализа, и сделать обоснованный выбор мер и средств криптографической защиты. 57 Высшая школа экономики - 2008 Направления дальнейшей работы Разработка программного обеспечения для автоматизации процесса построения модели угроз на основе: данных об особенностях реализации исследуемой криптосистемы; данных о потенциальных злоумышленниках. Подготовка базы знаний: Поиск и систематизация опубликованных данных об осуществленных криптоатаках; Привлечение экспертов, способных дать достоверные оценки зависимостей между параметрами элементов математической модели. Расширение функциональности инструментальных средств криптоанализа: Криптоанализ хеш-функций Криптоанализ псевдослучайных генераторов Криптоанализ симметричных шифров 58 Высшая школа экономики - 2008 Оценка эффективности криптографической защиты информационных ресурсов в корпоративных системах asavelieva@hse.ru savdoshin@hse.ru