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

Abstract

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 protokolov s využitím genetických algoritmov. Porovnaním jednotlivých prístupov a následným vytvorením evolučnej knižnice pre podporu návrhu bezpečnostných protokolov.Developement and verification of new security protocols, which meets the requirements, needs automated techniques. This work deals with the possibility of using evolutionary approach in design of security protocols. By showing and comparing different methods and using some of them to create evolutionary library for support in developement of new communication protocols.