Подходы к анализу безопасности протоколов аутентификации и авторизации
Обзор наиболее используемых подходов для формального анализа криптографических протоколов и программных инструментов, реализованных на основе данных подходов. Сделан вывод об актуальности использования БАН-логики для анализа протоколов аутентификации.
Подобные документы
Использование криптографических протоколов (с арбитражем, судейством, самоутверждающихся) с целью защиты информации от посторонних. Рассмотрение способов обеспечения сохранности электронных данных от компьютерных мошенников (сертификация, лицензия).
дипломная работа, добавлен 04.11.2009Понятие, история создания, характеристика и важнейшие свойства стек протоколов TCP/IP. Модель взаимодействия открытых систем (OSI). Соответствие стека TCP/IP моделям OSI. Утилиты диагностики и основные протоколы TCP/IP. Документы RFC: сущностное понятие.
презентация, добавлен 10.09.2013Знакомство с основными характеристиками, определяющими выбор методов и средств аттестационного тестирования. Рассмотрение методики генерации тестов для протоколов информационного обмена на основе недетерминированного конечного автомата с предикатами.
статья, добавлен 24.08.2020Совокупность стандартов, топологий и протоколов, необходимых для создания работоспособной сети. Механические и электрические параметры среды передачи, сетевых плат, соединителей. Схема семиуровневой модели OSI для протоколов связи локальных сетей.
курсовая работа, добавлен 06.03.2015Модель безопасности Windows XP Professional, обеспечение аутентификации и авторизации. Закономерности управления доступом к ресурсам в исследуемой операционной системе, права Администратора и Гостей. Подходы к шифрованию и сетевая проверка подлинности.
доклад, добавлен 07.01.2015Рассмотрение стандартов технологий магистральных сетей и их протоколов. Изучение особенностей взаимодействия протоколов различных уровней, инкапсуляции информации, маршрутизации, конвергенции, а также принципов коммутации пакетов и коммутации каналов.
курс лекций, добавлен 28.05.2015Описывается ряд недостатков стандартного способа аутентификации операционной системы Windows, представленной в виде пары логин-пароль. Проводится анализ аппаратных и программных средств способных повысить безопасность процесса аутентификации пользователя.
статья, добавлен 18.12.2017Первая в мире нелокальная компьютерная сеть. Реализации протоколов NCP и TCP. Подключение первого компьютера. Доменная система имен. Возникновение вирусов. Рождение системы электронных досок объявлений. Роль протоколов в Интернете. Первое доменное имя.
реферат, добавлен 25.10.2012Формирование модели протоколов персонального компьютера, обеспечивающих возможность автоматической процедуры валидации, под которой понимается проверка функционирования системы на соответствие требованиям. Анализ дерева достижимых глобальных состояний.
статья, добавлен 27.01.2013- 60. Стандарт 6LoWPAN
Причины невозможности прямой поддержки протоколов Internet для подавляющего большинства узлов сенсорных сетей. Краткое описание и анализ ключевых особенностей сетей 6LoWPAN. Рассмотрение взаимодействия стека протоколов NanoStack с прикладным приложением.
контрольная работа, добавлен 15.12.2012 Назначение, схема и правила построения протоколов аутентификации. Алгоритмы облегченной криптографии и их предназначение. Криптографические средства защиты информации в Windows и MSDN. Реализация преобразования SubBytes и MixColums в стандарте AES.
контрольная работа, добавлен 13.11.2015Характеристика общих подходов к передаче данных в сравнении с технологией Bluetooth. Исследование концепции, технических аспектов и набора базовых протоколов технологии Bluetooth, направлений применения данной технологии, анализ основных конкурентов.
реферат, добавлен 22.10.2017Проектирование сервиса автоматизированной среды на радиоэлектронных предприятиях. Построение схемы информационного обмена. Внедрение протоколов взаимодействия открытых систем. Моделирование взаимодействия объектов среды на основе аппарата сетей Петри.
творческая работа, добавлен 24.08.2020Характеристика особенностей архитектуры реляционных баз данных. Обзор существующих программных средств и протоколов проверки соединений в сетях. Анализ механизма графического отображения сетевого взаимодействия. Основные возможности пакета MySQL.
дипломная работа, добавлен 20.01.2016Краткий обзор Интернета и протоколов, основные виды его использования и их влияние на политику безопасности. Общие принципы политики безопасности при работе в Интернет и воплощение их в жизнь, ее основные правила, цель и задачи, классификация видов.
книга, добавлен 19.06.2010Стеки протоколов. Семейство протоколов, архитектура TCP/IP, расшифровка аббревиатур. Адресация в IP сетях. Подсети. Назначение маски подсети. Маршрутизация. Протокол RIP, OSPF. Алгоритм работы протокола. Принцип работы и таблица маршрутизатора.
реферат, добавлен 07.10.2008Изучение общих свойств и классификации протоколов маршрутизации. Проведение исследования внутренних и внешних шлюзовых протоколов. Проектирование сети в системе моделирования Riverbed Modeler. Характеристика основных типов и кодов ICMP-сообщений.
дипломная работа, добавлен 07.08.2018Анализ протоколов шифрования организации каналов связи телерегулирования коммутационным оборудованием. Определение принципов работы виртуальной частной сети VPN. организация шифрованного VPN–канала при помощи IP Security. Этапы работы протоколов IPsec.
статья, добавлен 15.04.2018Особенности использование автоматной модели смешанного типа при проектировании протоколов распределенных технических систем. Применение метода структурной декомпозиции первичной спецификации протокола. Способы соединения компонентных автоматов.
статья, добавлен 15.07.2013Принципы взаимодействия между клиентскими и серверными частями в локальных сетях Интернет. Основные преимущества протоколов удаленного вызова процедур и архитектура процессора базы данных. Анализ программных средств разработки персональных баз данных.
курсовая работа, добавлен 29.07.2015Сетевая модель OSI как базовая эталонная модель взаимодействия открытых систем, абстрактная сетевая модель для коммуникаций и разработки сетевых протоколов. Анализ механизмов взаимодействия программ и процессов на различных машинах на базе протоколов.
контрольная работа, добавлен 17.05.2017Описание механизма аутентификации в сетях сотовой связи, а также анализ существующих зарубежных и российских алгоритмов. Исследование производительности криптографических примитивов, применяемых в зарубежных алгоритмах для процессоров с ARM- архитектурой.
статья, добавлен 03.12.2018Аутентификация как проверка подлинности предъявленного пользователем идентификатора. Сетевые службы аутентификации и принципы их построения. Классификация способов аутентификации, их преимущества и недостатки. Аутентификации с использованием ЭЦП.
реферат, добавлен 12.12.2018- 74. Аутентификация
Основные понятия аутентификации, как одного из основных средств защиты информационной системы, а также элемента системы безопасности. Парольная аутентификация. Методы аутентификации сообщений. Идентификация/аутентификация с помощью биометрических данных.
лекция, добавлен 30.08.2013 Анализ основных понятий, связанных с Лабораторной информационной системой, исторический экскурс ее развития, стандарты, протоколы и функциональность. Исследование и структура протоколов и стандартов, использованных и реализованных в данных системах.
статья, добавлен 23.01.2019