Abstrakt. När vi försöker ge formella bevis för att sammansättningen har säkerhetshöjande egenskaper, frågar vi om sammansättningen av icke-adaptivt säkra permutationsgeneratorer nödvändigtvis producerar adaptivt säkra generatorer. Vi visar förekomsten av orakel i förhållande till vilka det finns icke-adaptivt säkra permutationsgeneratorer, men där sammansättningen av sådana generatorer misslyckas med att uppnå säkerhet mot adaptiva motståndare. Varje bevis på säkerhet för en sådan konstruktion skulle därför inte behöva vara relativiserande. Detta resultat kan delvis användas för att rättfärdiga bristen på formella bevis vi har för att sammansättningen ökar säkerheten, även om det är en tro som delas av många kryptografer.
Myers REF visade att förekomsten av orakel i förhållande till vilka det finns icke-adaptivt säkra permutationer, men där sammansättningen av sådana permutationer inte uppnår adaptiv säkerhet.
Black-box composition does not imply adaptive security
{'venue': 'In Advances in Cryptology — EUROCRYPT ’04, volume 3027 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}