Abstrakt. Stark rösträtt integritet, även om en viktig egenskap i ett valsystem, oftast äventyras i valprotokollet design till förmån för andra (önskvärda) egenskaper. I detta arbete introducerar vi ett nytt valparadigm med stark rösträtt som främsta mål. Vårt paradigm är byggt kring tre användbara egenskaper röstsystem som vi definierar: (1) Perfekt Ballot Secrecy, ser till att kunskap om den partiella räkningen av valsedlar för alla grupper av väljare endast kan beräknas av koalitionen av alla återstående väljare (denna egendom fångar stark rösträtt som förstås i verkliga val i världen). (2) Självlysande, tyder på att den post-ballot-casting fasen är ett öppet förfarande som kan utföras av alla intresserade (casual) tredje part. Slutligen föreslår (3) Tvistfrihet att tvister mellan aktiva parter förhindras helt och hållet, vilket är en viktig effektiv integritetskomponent. Vi undersöker förutsättningarna för att fastigheterna ska existera, och deras konsekvenser. Vi presenterar ett nytt omröstningssystem som är det första systemet som är dispytfritt, självstyrande och stöder perfekt valsekretess. Tidigare, varje system som stöder (eller kan ändras för att stödja) perfekt röstsekretess lider av minst en av följande två brister: det innebär väljare-till-röster interaktioner och / eller saknar feltolerans (en felaktig deltagare skulle misslyckas valet). Däremot undanröjer vårt designparadigm behovet av interaktion mellan väljare och väljare (på grund av dess tvistefrihet och offentligt verifierbara budskap), och dessutom föreslår vårt paradigm en ny "korrigerande feltolerant" mekanism. Denna mekanism neutraliserar fel som uppstår före och efter valomgången, medan självtestande förhindrar ytterligare fel. Dessutom är mekanismen sekretessbevarande och "anpassningsbar" i den meningen att dess kostnad står i proportion till antalet felaktiga deltagare. Som ett resultat av detta är vårt protokoll effektivare och robustare än tidigare system som fungerar (eller kan ändras för att fungera) i den perfekta röstsekretessen.
Ett självförverkligande system kan dock inte vara robust och stödja perfekt valsekretess på samma gång REF.
Self-tallying elections and perfect ballot secrecy
{'venue': 'PKC ’02', 'journal': None, 'mag_field_of_study': ['Computer Science']}