Подходы к анализу безопасности протоколов аутентификации и авторизации
Обзор наиболее используемых подходов для формального анализа криптографических протоколов и программных инструментов, реализованных на основе данных подходов. Сделан вывод об актуальности использования БАН-логики для анализа протоколов аутентификации.
Подобные документы
- 26. Протокол IPSec
IPsec как набор протоколов для обеспечения защиты данных, передаваемых по межсетевому протоколу IP, его значение и функции. Kerberos для аутентификации участников соединения. Протокол определения ключей Оакли для генерации и обмена секретными ключами.
презентация, добавлен 20.09.2013 Общие сведения о виртуальной частной сети. Особенности протоколов туннелирования канального уровня модели OSI: РРТР, L2F, L2TP. Изучение достоинств и недостатков протоколов, используемых на сетевом и сеансовом уровне: SKIP, IPSec, SSL, TLS, SOCKS.
реферат, добавлен 25.02.2014Понятие и принципы реализации аутентификации, два аспекта данного процесса в сетевой среде. Типы аутентификации, их отличия и функциональные особенности. Сервер аутентификации Kerberos, преимущества и недостатки, с помощью биометрических данных.
реферат, добавлен 21.08.2011Семиуровневая модель OSI и анализ её уровней. Рассмотрение сетезависимых и сетенезависимых уровней модели. Стандартные стеки протоколов семиуровневой модели и стеки коммуникационных протоколов. Практическая реализация уровневого взаимодействия в OSI.
реферат, добавлен 02.05.2014Внедрение средств информационного обмена в телекоммуникационную среду предприятия и улучшение технико-экономических и эксплуатационных характеристик сетей. Применение протоколов, ориентированных на организацию независимых служб информационного обмена.
статья, добавлен 24.08.2020Знакомство с угрозами информационной безопасности и общими сведениями функционирования стека протоколов IPv6. Общая характеристика распространенных типов NDP сообщений. Рассмотрение основных особенностей и этапов автоматической настройки IPv6 адреса.
статья, добавлен 19.06.2018Связь между Internet Information Services и Microsoft ASP.NET. Способы обеспечения безопасности в Web-приложениях. Провайдеры аутентификации и авторизации платформы. Web-приложение, которое реализует процесс регистрации и входа пользователей на страницу.
статья, добавлен 06.07.2013Особенности различных почтовых протоколов. Схема работы почтовых протоколов стека TCP/IP, SMTP, POP, IMAP. Наиболее известные WEB-клиенты работы с почтой. Настройки безопасности в почтовых системах: TLS, SSL, цифровая подпись, сертификат. Понятие СПАМ.
реферат, добавлен 04.12.2012Создание компьютерной сети для военных целей, ее использование для осуществления связи между командными пунктами системы обороны. Установка первого сервера Arpanet, развитие протоколов передачи данных. Объединение в 1982 году двух протоколов TCP и IP.
реферат, добавлен 13.12.2015Изучение понятий аутентификация, идентификация, принципы защиты персональных данных. Применение одноразовых паролей. Выбор технологий и средств аутентификации. Сущность проблем безопасности. Изучение механизмов аппаратной аутентификации и идентификации.
курсовая работа, добавлен 04.12.2017Семь уровней взаимодействия систем. Сущность физического уровня, определяющего требования к характеристикам линий в каналах передачи. Задачи канального и сетевого уровня протоколов. Схема функционирования протоколов TCP/IP. Прикладные протоколы Интернета.
презентация, добавлен 12.12.2012Анализ сетевых протоколов для формирования исходных данных по анализу производительности работы кампусной компьютерной сети предприятия. Особенности построения и использования интеллектуальных систем поддержки принятия решений в нештатных ситуациях.
автореферат, добавлен 02.07.2018Описание метода генерации тестов для протоколов обмена информацией на основе критерия псевдоэквивалентности неопределенного конечного автомата. Рассмотрение поиска уникальной последовательности в NDFAD с целью оценки максимальной длины покрытия.
статья, добавлен 25.08.2020Проведение исследования основных видов коммутируемых линий. Характеристика протоколов удаленного доступа и аутентификации. Важнейшие понятия и типы виртуальных частных сетей. Особенность изучения главных этапов установки соединения "точка-точка".
презентация, добавлен 02.07.2017Основные принципы защиты, определяющие стратегию обеспечения информационной безопасности. Файловый сервис на основе протоколов Netware. Разделение обязанностей между администраторами корпоративной сети. Программные средства анализа сетевого трафика.
дипломная работа, добавлен 09.04.2012Характеристика логической модели OSI. Функциональные особенности протоколов канального, сетевого, транспортного и прикладного уровней, а также протоколов передачи электронной почты. Принципы взаимодействия компьютеров в сети. Процесс инкапсуляции пакетов.
реферат, добавлен 13.01.2011Программное ядро для браузеров InternetExplorer, Mozilla FireFox, Netscape Browser, Opera. Многоплатформенность и функциональность браузеров, поддержка протоколов. Поддержка web-технологий и протоколов. Создание базы данных в MS Access и автоотчета.
контрольная работа, добавлен 09.03.2015Применение сателлитных сетей при наборе общих протоколов для разнородной вычислительной среды. Анализ специальной спецификации, определяющей использование технологии ATM в качестве транспорта канального уровня. Особенность структуры стека TCP/IP.
реферат, добавлен 16.11.2014Тестирование на соответствие заданной спецификации как наиболее стандартизированный и широко распространенный метод проверки корректности реализации протокола. Знакомство с методикой тестирования конформности реализаций протоколов информационного обмена.
статья, добавлен 25.08.2020Сущность аутентификации как одного из основных средств защиты информационных систем. Современные информационные системы, их понятие и структура. Протокол Kerberos, история его разработки и использования. Флаги делегирования аутентификации, основные виды.
лекция, добавлен 30.08.2013Разработка информационно-логической структуры модели файлового обмена для ТОО "Караганда Связь Плюс". Реализация модели системы передачи информации, выбор программных и технических средств. Семейство протоколов обмена, интерфейсы и модемные установки.
дипломная работа, добавлен 05.05.2016Совершенствование информационных технологий на предприятиях оборонной промышленности. Принципы построения и структура автоматизированных систем управления. Реализации протоколов асинхронного временного мультиплексирования и быстрой коммутации пакетов.
статья, добавлен 25.08.2020Рассмотрен принцип работы метода анализа иерархии для определения оптимального выбора наиболее эффективного средства аутентификации. Для сравнения были отобраны устройства eToken PRO, iButton (DS1961S), ruToken, eToken PASS и eToken PRO Anywhere.
статья, добавлен 18.12.2017- 49. Модель OSI
Сетевая топология модели OSI, обеспечивающей процесс взаимодействия с участием коммутации пакетов. Распределение протоколов (TCP/IP) по уровням модели, применяемое телекоммуникационное оборудование. Критика протоколов стандартной международной модели.
реферат, добавлен 11.12.2014 Обзор ключевых аспектов обеспечения безопасности в операционной системе Linux. Современные механизмы аутентификации и авторизации. Современные тенденции и вызовы в области безопасности Linux, обзор последних обновлений ядра и программного обеспечения.
статья, добавлен 11.09.2024