Розроблено інструментальне середовище для верифікації та цільового проектування процедур аутентифікації суб'єктів та повідомлень в обчислювальних мережах. Застосування цього середовища ефективне у ході розробки нових або модифікованих протоколів аутентифікації, а також під час проведення експериментальних досліджень їх параметрів.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"