Программные системы: теория и приложения
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Программные системы: теория и приложения:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Программные системы: теория и приложения, 2015, том 6, выпуск 4, страницы 341–351 (Mi ps191)  
Математические основы программирования

О длинных атаках на пинг-понг протоколы

А. Н. Непейвода

Институт программных систем имени А. К. Айламазяна РАН
PDF полного текста (885 kB)
Список литературы:
PDF
HTML
Аннотация: Ранее автором было показано, что криптографические пинг-понг протоколы в модели угрозы Долева–Яо можно верифицировать посредством моделирования в префиксных грамматиках. В статье рассматриваются примеры атак на пинг-понг протоколы, которые удовлетворяют верхней оценке на длину пути, порожденного модельной префиксной грамматикой, приведенной в предыдущих работах автора.
Ключевые слова и фразы: криптографические протоколы, вычислительная сложность, пинг-понг протоколы, модель угрозы Долева–Яо.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 14-07-00133_а
Российская академия наук - Федеральное агентство научных организаций г/р 01201354590
Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта №14-07-00133_а и госзадания ФАНО России — НИР «Методы анализа и верификации моделей вычислительных систем и алгебраических объектов на основе средств функционального и логического программирования» (№ г/р 01201354590).
Поступила в редакцию: 10.11.2015
Подписана в печать : 23.12.2015
Тип публикации: Статья
УДК: 510.52
Образец цитирования: А. Н. Непейвода, “О длинных атаках на пинг-понг протоколы”, Программные системы: теория и приложения, 6:4 (2015), 341–351
Цитирование в формате AMSBIB
\RBibitem{Nep15}
\by А.~Н.~Непейвода
\paper О длинных атаках на пинг-понг протоколы
\jour Программные системы: теория и приложения
\yr 2015
\vol 6
\issue 4
\pages 341--351
\mathnet{http://mi.mathnet.ru/ps191}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ps191
  • https://www.mathnet.ru/rus/ps/v6/i4/p341
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Программные системы: теория и приложения
    Статистика просмотров:
    Страница аннотации:131
    PDF полного текста:57
    Список литературы:63
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024