Abstrakt. Vi visar att det finns ett naturligt protokollproblem som har en enkel lösning i den slumpmässiga (RO) modellen och som inte har någon lösning i den komplexa-teoretiska (CT) modellen, nämligen problemet med att bygga en icke-interaktiv kommunikationsprotokoll säkra mot adaptiva motståndare a.k.a. Icke-interaktiv icke-kommitterande kryptering. Denna åtskillnad mellan modellerna beror på den så kallade programbarheten hos det slumpmässiga oraklet. Vi visar detta genom att tillhandahålla en formulering av RO-modellen där oraklet inte är programmerbar, och visar att i denna modell, det inte finns icke-interaktiv icke-kommitterande kryptering.
Observera att till skillnad från icke-kommitterande kryptering REF är HE uppnåelig i den icke-programmerbara slumpmässiga orakelmodellen.
Separating random oracle proofs from complexity theoretic proofs: The non-committing encryption case
{'venue': 'IN PROCEEDINGS OF CRYPTO ’02, LNCS SERIES', 'journal': None, 'mag_field_of_study': ['Computer Science']}