Abstrakt. Kommer min röst att förbli hemlig om 20 år? Detta är en naturlig fråga i samband med elektronisk omröstning, där krypterade röster kan offentliggöras på en anslagstavla för verifierbara ändamål, men krypteringens styrka urholkas med tidens gång. Frågan har tagits upp genom en egendom som kallas evig avskildhet. Fullkomligt evigt privatliv kan vara svårt eller till och med omöjligt att uppnå, särskilt i avlägsna elektroniska val. I detta dokument föreslår vi en definition av praktisk integritet för evigt. Nyckelidén är att en angripare i framtiden kommer att vara mer kraftfull när det gäller beräkning (han kanske kan bryta kryptografin) men mindre kraftfull när det gäller de data han kan använda (transaktioner mellan en röstklient och röstservern kanske inte har lagrats). Vi formaliserar vår definition av evig avskildhet i den tillämpade-pi kalkylen. Vi tillhandahåller medel för att karakterisera vad en angripare kan bryta i framtiden i flera fall. I synnerhet modellerar vi detta för att fullständigt dölja och beräkna bindande primitiver (eller det motsatta), såsom Pedersen åtaganden, och för symmetriska och asymmetriska kryptering primitiver. Vi anpassar befintliga verktyg, så att vi automatiskt kan bevisa evig avskildhet. Som en illustration visar vi att flera varianter av Helios (inklusive Helios med Pedersen åtaganden) och ett protokoll av Moran och Naor uppnå praktisk evig integritet, med hjälp av ProVerif och AKISs verktyg.
När det gäller modellering, symboliska tekniker har också nyligen föreslagits för att modellera evig integritet REF.
Practical everlasting privacy
{'venue': 'In POST, volume 7796 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}