Аннотация:
Ранее автором было показано, что криптографические пинг-понг протоколы в модели угрозы Долева–Яо можно верифицировать посредством моделирования в префиксных грамматиках. В статье рассматриваются примеры атак на пинг-понг протоколы, которые удовлетворяют верхней оценке на длину пути, порожденного модельной префиксной грамматикой, приведенной в предыдущих работах автора.
Ключевые слова и фразы:криптографические протоколы, вычислительная сложность, пинг-понг протоколы, модель угрозы Долева–Яо.
УДК:510.52
Поступила в редакцию: 10.11.2015 Подписана в печать : 23.12.2015
Полный текст:
PDF файл (885 kB)