Транслятор из языка AnB в язык CAS+
криптографический протокол
Программа предназначена для автоматизированного перевода из простейшего языка описания криптографических протоколов формата AnB (Alice-Bob) в язык спецификации CAS+ для автоматизированного верификатора безопасности Avispa. Это позволит ускорить время проверки безопасности криптографического протокола, поскольку язык AnB является наиболее простым из всех. Программа принимает на вход текстовый файл, содержащий описание криптографического протокола на языке AnB. На выходе сохраняет файл, содержащий описание криптографического протокола на языке спецификации CAS+.
Программа предназначена для автоматизированного перевода из простейшего языка описания криптографических протоколов формата AnB (Alice-Bob) в язык спецификации CAS+ для автоматизированного верификатора безопасности Avispa.
20.53.15
Средства ввода информации
Илья
Писарев
Александрович
"Отсутствует"
"Отсутствует"
РОССИЯ
Людмила
Бабенко
Климентьевна
"Доктор технических наук"
"Профессор"
"AAE-1989-2019"
"55834381100"
"162508"
"https://sfedu.ru/www/stat_pages22.show?p=UNI/s1/D&params=(p_per_id=%3E-3000074)"
"0000-0003-2353-7911"
РОССИЯ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ЮЖНЫЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ"
1026103165241
ИННА
ШЕВЧЕНКО
КОНСТАНТИНОВНА
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные автономные учреждения
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ЮЖНЫЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ"
1026103165241
ИННА
ШЕВЧЕНКО
КОНСТАНТИНОВНА
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные автономные учреждения