Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів

Кравченко П.О.
Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів

Вид документа: Стаття періодичного видання
Автор: Кравченко П.О. Авторський знак: К78 Вид автора: персона
Мова: Українська Обсяг: С.192
Шифр: 621.396 УДК: 621.396

Аннотацiя:

протокол, формальний аналіз, модель загроз, властивості безпеки, типізована специфікація

Є складовою частиною документа: Прикладная радиоэлектроника