Abstrakt. Vi tillhandahåller den första systematiska analysen av ISO/IEC 11770-standarden för nyckelhanteringstekniker [18, 19], som beskriver en uppsättning nyckelutbyten, nyckelautentisering och viktiga transportprotokoll. Vi analyserar de påstådda säkerhetsegenskaperna, samt ytterligare moderna krav på nyckelhanteringsprotokoll, för 30 protokoll och deras varianter. Vår formella, verktygsbaserade analys av protokollen avslöjar flera felaktiga påståenden i standarden. Vi ger konkreta förslag för att förbättra standarden.
I REF, Cas Cremers et al. tillhandahålla den första systematiska analysen av ISO/IEC 11770-standarden för nyckelhanteringsteknik och analysera de påstådda säkerhetsegenskaperna hos Scyther-verktyget.
Improving the ISO/IEC 11770 Standard for Key Management Techniques
{'venue': 'SSR', 'journal': None, 'mag_field_of_study': ['Computer Science']}