Now showing items 1-1 of 1

  • Evoluční knihovna pro podporu návrhu komunikačních protokolů 

    Sameš, Martin
    Potreba vyvíjať nové a nové bezpečnostné protokoly, ktoré zodpovedajú stanoveným požiadavkám vedie k automatizácií ich návrhu a následne lepšiu možnosť verifikácie. Táto práca sa zaoberá možnosťou automatizovaného návrhu ...