Анализ протоколов аутентификации
Постулаты BAN-логики. Правила и значения сообщения, проверки нонсов, полномочий. Анализ протокола аутентификации участников сеанса. Описание протокола аутентификации. Идеализация протокола, предположения о начальном состоянии. Формальный анализ протокола.
Подобные документы
Сущность понятия "аутентификация", выявление и характеристика её основных факторов. Особенности аутентификации по многоразовым и одноразовым паролям, технология их использования. Значение протоколов аутентификации. Описание аутентификации в Интернете.
статья, добавлен 29.01.2019Актуальные программные инструменты формального анализа протоколов аутентификации и авторизации. Возможность повышении уровня достоверности оценки безопасности протоколов аутентификации и авторизации распределенных систем путем применения БАН-логики.
статья, добавлен 01.02.2019Назначение сетевого протокола X.25 для передачи данных между компьютерами по телефонным сетям. Изучение функциональных объектов протоколов DSS-1 и ISUP. Построение формата сообщения уровня 3 протокола DDS-1, если тип передаваемого сообщения – SETACK.
контрольная работа, добавлен 30.09.2012Разработка протокола установления связи с абонентом, аутентификации и передачи информационного сообщения. Использование алгоритма Фаиг-Фиат-Шамир. Создание электронной цифровой подписи DSS, требования. Контроль целостности передаваемых сообщений SHA.
курсовая работа, добавлен 15.06.2009Разработка протокола установления связи с абонентом, аутентификации по алгоритму Диффи-Хеллмана, передача информационного сообщения. Электронная цифровая подпись. Контроль целостности, логика выполнения, усиление алгоритма передаваемых сообщений MD5.
курсовая работа, добавлен 07.06.2009Обзор наиболее используемых подходов для формального анализа криптографических протоколов и программных инструментов, реализованных на основе данных подходов. Сделан вывод об актуальности использования БАН-логики для анализа протоколов аутентификации.
статья, добавлен 01.02.2019Способы защиты потока данных в Web. Особенность протокола извещения, квитирования и изменения параметров шифрования. Анализ генерирования криптографических параметров. Характеристика использования аутентификации в транспортном и туннельном режимах.
курс лекций, добавлен 07.09.2015Разработка нового транспортного протокола ARTCP. Описание алгоритма управления скоростью потока и создание его модельной реализации в виде класса C++. Построение имитационной программной модели. Изучение характеристик протокола ARTCP и сравнение их с TCP.
автореферат, добавлен 31.01.2013Понятие и принципы реализации аутентификации, два аспекта данного процесса в сетевой среде. Типы аутентификации, их отличия и функциональные особенности. Сервер аутентификации Kerberos, преимущества и недостатки, с помощью биометрических данных.
реферат, добавлен 21.08.2011Характеристика функций и структуры протокола HTTP. Анализ приемов выделения гипертекста. Разработка прикладного протокола по системе обмена гипертекстовыми сообщениями, а также клиент-серверного приложения в среде программирования высокого уровня Delphi.
статья, добавлен 29.05.2016Определение особенностей протокола Modbus – отсутствия необходимости в специальных интерфейсных контроллерах. Исследование основных функций рассматриваемого протокола. Характеристика принципов общего подхода к фаззингу Modbus Client и ModbusS Server.
контрольная работа, добавлен 23.12.2014Представление организации данных. Взаимодействие Lightweight Directory Access Protocol со службами каталогов. Операции аутентификации, поиска, добавления или удаления записей. Описание дерева и добавление данных. Определения правила соответствия.
курсовая работа, добавлен 08.05.2017Разработка протокола ARTCP, использующего темпоральные показатели потока в качестве входного параметра для алгоритма управления. Построение программной модели, позволяющей моделировать компоненты сети, влияющие на функционирование транспортного протокола.
автореферат, добавлен 14.03.2014Способы применения основных команд и утилит Windows XP при работе со стеком протокола TCP/IP. Исследование полной конфигурации протокола TCP/IP. Задачи команды route. Использование основных утилит Windows для тестирования работоспособности протокола.
лабораторная работа, добавлен 04.12.2021Выявление предпочтительной системы аутентификации и распределение доступа к имеющимся информационным ресурсам. Анализ алгоритмов аутентификации, их достоинства и недостатки. Программный продукт обеспечивающий контроль доступа к информационным ресурсам.
статья, добавлен 02.02.2019Назначение протокола инкапсуляции GRE. Проблемы DF-бита, NATа и их решение. Альтернативы GRE-туннелей. Принцип работы протоколов PPTP, L2TP, PPPoE, L2F, стандарта IPSec. Осуществление маршрутизации с помощью BGP. Базовая настройка и создание GRE туннеля.
курсовая работа, добавлен 07.12.2019- 17. Анализ и моделирование протокола радиочастотной идентификации транспортных средств на автодорогах
Описание системы радиочастотной идентификации (RFID) и вариантов её применения. Анализ и изучение протокола пассивной радиочастотной идентификации. Преимущества и недостатки RFID-систем, выявление характеристик меток в зависимости от различных факторов.
дипломная работа, добавлен 01.08.2017 Описывается ряд недостатков стандартного способа аутентификации операционной системы Windows, представленной в виде пары логин-пароль. Проводится анализ аппаратных и программных средств способных повысить безопасность процесса аутентификации пользователя.
статья, добавлен 18.12.2017Архитектура простого протокола сетевого управления (SNMP). Характеристика компонентов и их назначение. Особенности сообщений SNMP протокола, работа с точки зрения безопасности. Единые стандарты и принципы устойчивого формирования дерева сообщений.
реферат, добавлен 22.01.2014Формат пакета IP. Управление фрагментацией. Маршрутизация с помощью IP-адресов. Взаимодействие узлов с использованием протокола IP. Структуризация сетей IP с помощью масок. Расчет затрат, параметров и расположения устройств сети.
реферат, добавлен 10.01.2014Доказано, что оптимальным средством хранения ресурсов для организации единого хранилища информации является создание иерархической базы данных пользователей на базе протокола LDAP. Преимущества LDAP в плане структурированности и работы с клиентами.
статья, добавлен 02.02.2019Описание реализации протокола RSVP с целью гарантированного предоставления зарезервированных сетевых ресурсов в модели интегрированного обслуживания IntServ. Анализ составляющих модулей приложения и его алгоритмов. Архитектура разработанного приложения.
статья, добавлен 21.06.2020Виртуальные локальные сети VLAN, Интранет. Особенности теории протокола OSPF. Краткое описание работы протокола. Таймеры, типы маршрутизаторов, объявлений о состоянии канала (LSA). Способы обеспечения информационной безопасности в локальных сетях.
контрольная работа, добавлен 20.06.2015Необходимость аутентификации в компьютерных системах, ее типы, достоинства и недостатки. Механизмы аутентификации, реализованные с помощью криптографических протоколов. Основные составляющие архитектуры средств безопасности для IP-уровня и их особенности.
методичка, добавлен 14.05.2015Аутентификация как проверка подлинности предъявленного пользователем идентификатора. Сетевые службы аутентификации и принципы их построения. Классификация способов аутентификации, их преимущества и недостатки. Аутентификации с использованием ЭЦП.
реферат, добавлен 12.12.2018