Методы и средства верификации криптографических протоколов
Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
Подобные документы
Несколько наиболее ярких примеров криптографических протоколов с дефектами и атаками, использующими эти дефекты. Классификация криптографических протоколов. Протокол ключевого обмена DH. Протокол шифрования и цифровой подписи по RSA на общем модуле.
статья, добавлен 15.09.2012Характеристика криптографических средств защиты. Анализ понятия и сущности шифрования, кодирования. Исследование основных причин появления и необходимости криптографических средств защиты информации. Криптографические способы преобразования информации.
статья, добавлен 23.04.2018Шифрование – использование криптографических сервисов безопасности. Рассмотрение современных систем защиты информации. Сравнение симметричных и несимметричных алгоритмов шифрования данных. Рассмотрение выбора протоколов аутентификации пользователя.
презентация, добавлен 20.02.2020Методы обеспечения конфиденциальности информации и аутентичности применяемо к электронной цифровой подписи. Проблемы современной криптографии. Сравнительная характеристика криптографических методов защиты информации. Криптостойкие системы шифрования.
статья, добавлен 15.03.2019Основные понятия компьютерной безопасности. Обеспечение защиты информации в сетях. Протоколы и преимущества сетей X.25 - семейства протоколов канального уровня сетевой модели OSI, доступ пользователей. Сборщики-разборщики пакетов, центры коммутации.
реферат, добавлен 04.06.2009Анализ надежности используемых криптографических алгоритмов как одно из актуальных направлений в информационной безопасности. Вычисление раундовых ключей шифрования из исходного секретного ключа. Таблица истинности для исследуемого блока замены.
статья, добавлен 30.05.2017Обзор наиболее используемых подходов для формального анализа криптографических протоколов и программных инструментов, реализованных на основе данных подходов. Сделан вывод об актуальности использования БАН-логики для анализа протоколов аутентификации.
статья, добавлен 01.02.2019Использование криптографических алгоритмов и стандартов для защиты информации. Сходства и различия между программными средствами и программно-аппаратными комплексами защиты информации. Анализ криптографических стандартов симметричного шифрования.
статья, добавлен 23.03.2018Определение понятия и основные черты криптографических протоколов. Сущность распределения ролей. Описание протоколов с судейством и самоутверждающегося. Разновидности атак на протоколы. Доказательство с нулевым разглашением конфиденциальной информации.
курсовая работа, добавлен 20.05.2014Методы защиты информации. Обзор основных систем и средств, построенных на базе криптографических методов. Анализ программного комплекса DeviceLock Endpoint DLP Suite. Контур информационной безопасности SearchInform. Комплексы по контролю над доступом.
реферат, добавлен 08.09.2014Виды угроз безопасности информации. Функционирование системы защиты информации от несанкционированного доступа, содержание ее основных средств и методов. Сущность криптографических методов. Цели и задачи защиты информации в банковской деятельности.
реферат, добавлен 08.06.2013Проблема роста количества преступлений в сфере компьютерной безопасности. Хищения денежных средств со счетов в банках путем компьютерного фишинга. Разработка эффективных политик безопасности, совершенствование криптографических методов защиты информации.
статья, добавлен 10.04.2019Исследование криптографических методов защиты информации и их использование при работе в сети. Классификация элементов криптосистем и их подробная характеристика. Изучение защитных приемов программирования, обеспечение компьютерной безопасности.
курсовая работа, добавлен 26.05.2010Рассмотрение угроз безопасности и их классификации. Характеристика основных методов и средств защиты информации в сети, их видов и особенности применения. Возможность физических, аппаратных и программных средств защиты информации в корпоративных сетях.
дипломная работа, добавлен 03.10.2013Задачи криптографии, принципы построения криптографических систем защиты данных. Отличия между квантовой и аппаратной криптографией. Симметричный и асимметричный алгоритмы шифрования. Протоколы квантово-криптографических систем распределения информации.
статья, добавлен 24.01.2018- 16. Исследование встроенных в операционную систему Windows криптографических средств защиты информации
Характеристика и работа в файловой системе EFS, специфика и сущность работы с шифрованием данных в ОС Windows. Описание и особенности базовых объектов криптографической системы Windows. Способы инициализации и методы применения криптографических ключей.
лабораторная работа, добавлен 28.04.2016 Исследование методов обнаружения и удаления компьютерных вирусов, методики использования антивирусных программ, профилактики вирусного заражения. Характеристика средств архивации информации, криптографических средств, восстановления пораженных объектов.
реферат, добавлен 19.11.2011Использование криптографических протоколов (с арбитражем, судейством, самоутверждающихся) с целью защиты информации от посторонних. Рассмотрение способов обеспечения сохранности электронных данных от компьютерных мошенников (сертификация, лицензия).
дипломная работа, добавлен 04.11.2009Основные понятия и принципы организации компьютерных сетей. Понятие протокола, его сущность и особенности построения в сети. Семиуровневая модель протоколов взаимодействия открытых систем. Сетевые протоколы, их особенности и отличительные черты.
реферат, добавлен 07.01.2009Обзор современных методов защиты информации. Проблема использования криптографических методов в информационных системах. Определение использованного ключа шифрования по фрагменту шифрованного сообщения. Алгоритм выработки имитовставки для массива данных.
курсовая работа, добавлен 11.01.2015Информация как важнейший ресурс человеческого общества. Характеристика и анализ криптографических методов защиты информационных данных. Средства защиты информации как совокупность инженерно-технических, электронных, оптических устройств и приспособлений.
реферат, добавлен 05.11.2012Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
автореферат, добавлен 02.08.2018Необходимость аутентификации в компьютерных системах, ее типы, достоинства и недостатки. Механизмы аутентификации, реализованные с помощью криптографических протоколов. Основные составляющие архитектуры средств безопасности для IP-уровня и их особенности.
методичка, добавлен 14.05.2015Изучение основных аспектов информационной безопасности человека и общества, криптографических методов и средств защиты информации. Характеристика универсального шпионажа, диверсии, вирусов, наводок, электромагнитных излучений и вредительских программ.
контрольная работа, добавлен 23.01.2011Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018