Методы и средства верификации криптографических протоколов
Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
Подобные документы
Рассмотрение классификации основных угроз информационной безопасности. Изучение основных методов и средств обеспечения безопасности компьютерной информации и вычислительных систем. Характеристика основных типов криптосистем и методов шифрования.
дипломная работа, добавлен 27.10.2018Использование криптографических методов защиты информации. Хранение кодированных данных, программно-техническое разграничение доступа к ресурсам вычислительных систем. Проблема целостности информации, возникающей в процессе электронного документооборота.
статья, добавлен 03.12.2018Ознакомление с особенностями информационной безопасности банковских и платежных систем. Характеристика преимуществ криптографических методов защиты. Рассмотрение схемы идентификации Гиллоу-Куискуотера. Изучение алгоритмов электронной цифровой подписи.
курсовая работа, добавлен 12.04.2015Оценка эффективности применения метода model checking и инструмента Spin с верификацией протоколов когерентности памяти для поиска ошибок в устройствах. Проверка выполнимости характеристик системы. Верификация протокола когерентности "Эльбрус-2S".
статья, добавлен 27.11.2018Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Анализ защиты систем обработки данных и вычислительных систем от несанкционированного доступа информации. Организационно-технические меры, обеспечивающие секретность информации. Опасность компьютерных вирусов. Механизмы идентификация пользователей.
реферат, добавлен 22.04.2013Сетевая модель OSI как базовая эталонная модель взаимодействия открытых систем, абстрактная сетевая модель для коммуникаций и разработки сетевых протоколов. Анализ механизмов взаимодействия программ и процессов на различных машинах на базе протоколов.
контрольная работа, добавлен 17.05.2017Анализ криптографических методов и средств защиты информации в информационных системах. Методология симметричной системы шифрования. Порядок шифрования при помощи шифров. Разработка программы шифрования и расшифрования информации методом прямой замены.
дипломная работа, добавлен 08.07.2011Место криптографических методов в системе методов защиты данных от нежелательного доступа. Роль программных средств защиты информации. История появления и развития шифрования. Определения криптографии и алгоритмы замены, перестановки и гаммирования.
реферат, добавлен 20.05.2017Электронная почта как способ передачи данных в компьютерных сетях, широко используемый в Интернете. Фишинг - метод мошенничества с помощью спама. Анализ криптографических методов защиты информации. Основные сетевые протоколы, используемые в E-Mail.
курсовая работа, добавлен 07.12.2014Рассмотрение истории появления шифрования и его использования во второй половине XX века в России. Сертификация технических средств защиты информации. Варианты применения криптографических средств. Анализ места криптосредств в комплексной защите данных.
статья, добавлен 31.08.2020Понятие безопасности информационных систем и защиты от умышленных угроз. Основные принципы и подходы к защите информации, виды программного обеспечения систем безопасности. Методы и средства обеспечения безопасности информации, механизмы шифрования.
реферат, добавлен 26.03.2010Криптография с симметричными и открытыми ключами. Особенности формирования электронной цифровой подписи с хэшированием. Доверие к открытому ключу и цифровые сертификаты. Основные достоинства и недостатки криптографических методов защиты информации.
статья, добавлен 05.06.2012Рассмотрение проблем обеспечения информационной безопасности коммерческих продуктов. Характеристика методов защиты информации. Средства идентификации и аутентификации пользователей, средства шифрования информации, межсетевые экраны, антивирусная защита.
реферат, добавлен 21.11.2011Координация процессов передачи информации в сети. Уровневое разделение коммуникационных протоколов по степени общности задач. Универсальная сетевая архитектура - TCP/IP. Конечные и промежуточные системы. Характеристика скорости каналов потока информации.
диссертация, добавлен 23.12.2013Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
статья, добавлен 28.09.2012Изучение криптографических методов шифрования информации как систем обратимых преобразований, выбираемых с помощью ключа и преобразующих защищаемый открытый текст в шифрограмму и обратно. Характеристика аудио и видеооптического перехвата информации.
реферат, добавлен 20.12.2011Особенности передачи информационных сообщений. Методы преобразования информации в криптографической системе. Сущность и значение криптографической защиты информации. Характеристика основных типов криптографических алгоритмов: классические и новые.
реферат, добавлен 29.03.2011Исследование и анализ инженерно-технических, программно-аппаратных и криптографических средств защиты информации, которые предлагаются на рынке. Разработка политики безопасности организации. Ознакомление с основными функциями администратора сети.
контрольная работа, добавлен 20.10.2016Объективность, полнота, достоверность, адекватность, доступность и актуальность - основные свойства информации. Виды умышленных угроз безопасности информации. Основные методы и средства защиты. Защита информации в компьютерных сетях и от внутренних угроз.
курсовая работа, добавлен 16.12.2012Основные виды умышленных угроз безопасности информации. Основные угрозы безопасности информации и нормального функционирования современных информационных систем. Основные методы и средства защиты информации. Криптографические методы защиты информации.
презентация, добавлен 23.10.2016Разработка защищенных протоколов на верхних уровнях модели OSI (Open System Interconnect) и на уровне приложений, базирующихся на криптографических методах преобразования информации. Влияние кодирования, скремблирования, модуляции сигнала на защищенность.
статья, добавлен 19.06.2018Исследование проблемы проверки конформности реализации сетевых протоколов. Моделирование сетевых протоколов с использованием теории конечных автоматов. Решение задачи построения автоматизированных диагностических систем проверки сетевых протоколов.
статья, добавлен 30.10.2016Система безопасности ОС Windows 2000. Доступ ко всем ресурсам сети после выполнения единственной процедуры входа в систему. Методы аутентификации пользователей. Автоматизированный аудит безопасности. Взаимодействие с другими ОС и протоколами безопасности.
контрольная работа, добавлен 10.11.2009Актуальные программные инструменты формального анализа протоколов аутентификации и авторизации. Возможность повышении уровня достоверности оценки безопасности протоколов аутентификации и авторизации распределенных систем путем применения БАН-логики.
статья, добавлен 01.02.2019