Abstrakt. Protokoll för förnekande av autentisering ger till synes paradoxala garantier: när protokollet är fullbordat är mottagaren övertygad om att avsändaren bestyrkte budskapet, men ingen av parterna kan övertyga någon annan om att den andra parten deltog i protokollet. Vi introducerar och studerar på nätet förnekande, där förnekande bör hålla även när en av parterna kolliderar med en tredje part under genomförandet av protokollet. Detta visar sig generalisera flera realistiska scenarier som ligger utanför omfattningen av tidigare modeller. Vi visar att ett protokoll uppnår vår definition av online-förnekelse om och endast om det realiserar funktionen meddelandeautentisering i den generaliserade universella kompatibilitetsram; alla protokoll som uppfyller vår definition därmed automatiskt ärver stark kompatibilitet garantier. Tyvärr visar vi att vår definition är omöjlig att förverkliga i PKI-modellen om adaptiv korruption är tillåten (även om säker radering antas). Å andra sidan visar vi genomförbarhet med avseende på statisk korruption (som ger den första åtskillnaden i fråga om genomförbarhet mellan den statiska och adaptiva inställningen), och visar hur man förverkligar en avslappning som kallas förnekande med incriminating abort under adaptiv korruption.
I REF, Dodis et al. upprätta en koppling mellan förnekelse och idealisk autentisering och ytterligare modellera en situation där förnekelse bör äga rum även när en korrumperad part kolliderar med motståndaren under genomförandet av ett protokoll.
S.: Composability and On-Line Deniability of Authentication
{'venue': 'TCC', 'journal': None, 'mag_field_of_study': ['Computer Science']}