Lécz Balázs, Zömbik László
Hálózati protokollok biztonsági tesztelése
A protokollok és implementációik viselkedését több szempontból lehet vizsgálni, ezért igen sok tesztelési módszer létezik. A legszélesebb körben kutatott és alkalmazott módszerek az implementációk konformanciáját és teljesÍtményét vizsgálják. Cikkünkben a protokollok megvalósításainak biztonsági vizsgálatára koncentrálunk. Ismertetünk egy új, biztonsági tesztelésre alkalmazható módszert, majd bemutatjuk alkalmazásának lehetôségeit. Végül ismertetjük az általunk megvalósÍtott szoftverkeretrendszert és bemutatunk néhány példát annak gyakorlati alkalmazására.