Об’єкт дослідження: методи аналізу криптографічних протоколів. Мета роботи (проекту): підвищення якості захисту криптографічних систем. Методи дослідження: аналіз, системний підхід, прогнозування, синтез, класифікація, ...