Abstrakt. Säkerhetsprotokoll har framgångsrikt analyserats med hjälp av symboliska modeller, där meddelanden representeras av termer och protokoll med processer. Integritetsegenskaper som anonymitet eller ospårbarhet uttrycks normalt som likvärdighet mellan processer. Medan vissa beslutsförfaranden har föreslagits för att automatiskt besluta processen likvärdighet, alla befintliga metoder abstrakt bort informationen en angripare kan få när observera längden på meddelanden. I detta dokument studerar vi processen ekvivalens med längdtester. Vi visar först att i det statiska fallet kan nästan alla befintliga decledability resultat (för statisk ekvivalens) utökas för att klara av längd tester. I det aktiva fallet bevisar vi att spår är likvärdiga med längdtester, för ett begränsat antal sessioner och för vanliga primitiver. Vårt resultat bygger på ett tidigare decledability resultat från Cheval et al [15] (utan längdtester). Vårt förfarande har genomförts och vi har upptäckt en ny brist mot integritet i protokollet om biometriska pass.
På senare tid behandlas ekvivalens med längdtester med avseende på både passiva och aktiva inkräktare i dokument REF-studierna.
Lengths may break privacy – or how to check for equivalences with length ⋆
{'venue': 'CAV', 'journal': None, 'mag_field_of_study': ['Computer Science']}