Authentikációs és rejtjelező protokollok tulajdonságának vizsgálata