Den formella kontrollen av protokollen har fått stor betydelse under de senaste åren. Forskningsresultaten och efterföljande tillämpningar har tydligt visat att de formella verifieringsverktygen verkligen har hjälpt till att korrigera protokollen även efter att ha standardiserats. Standarden protokollverifiering verktyg och tekniker verifierar dock inte säkerhetsegenskaperna hos ett kryptografiskt protokoll. Detta har resulterat i uppkomsten av kontrollanter för säkerhetsprotokoll för att fylla behovet. I detta dokument, med de två populära verktygen för säkerhetsverifiering, nämligen Skyther och ProVerif som grund, identifierar vi några säkerhetsprotokoll och implementerar dem i både Skyther och ProVerif, för att träffande utvärdera verktygen, när det gäller säkerhetsegenskaperna hos de valda protokollen. I processen presenterar vi inte bara en jämförande utvärdering av de två verktygen, utan avslöjar också intressanta säkerhetsegenskaper hos de valda protokollen, som visar deras styrkor och svagheter. Såvitt vi vet är detta ett unikt försök att samla ihop och utvärdera de två verifieringsverktygen med hjälp av de utvalda säkerhetsprotokollen.
Dalal m.fl. REF tillhandahöll en jämförande studie och utvärderingsstudie för verktyg som används vid verifiering av säkerhetsprotokoll.
A Comparative Analysis of Tools for Verification of Security Protocols
{'venue': 'IJCNS', 'journal': 'IJCNS', 'mag_field_of_study': ['Computer Science']}