Den universella kompatibilitetsramen introducerades av Canetti för att studera säkerheten i protokoll som samtidigt genomförs med andra protokoll i en nätverksmiljö. Tyvärr visades det att i den så kallade enkla modellen, kan en stor klass av funktioner inte säkert realiseras. Dessa allvarliga omöjlighetsresultat motiverade studien av andra modeller med någon form av uppställningsantaganden, där allmänna positiva resultat kan uppnås. Fram till nyligen krävde alla de uppställningsantaganden som föreslogs en del betrodda tredje part (eller parter). Katz föreslog nyligen att man skulle använda en fysisk installation för att undvika sådana tillförlitliga inställningsantaganden. I sin modell, den fysiska installationsfasen inkluderar de parter som utbyter manipulering bevis hårdvara tokens genomföra vissa funktionalitet. Den manipuleringssäkra hårdvaran är modellerad för att anta att mottagaren av token inte kan göra något annat än att observera dess in-/utgångsegenskaper. Det antas vidare att avsändaren känner till programkoden för hårdvara token som den distribuerade. Baserat på DDH antagande, Katz gav allmänna positiva resultat för universellt jämförbara flerpartiberäkningar tolererar ett antal oärliga parter gör denna modell ganska attraktiv. I detta papper presenterar vi nya konstruktioner för UC säker beräkning med hjälp av manipuleringssäker hårdvara (i en starkare modell). Våra resultat är en förbättring jämfört med Katz resultat i flera riktningar med betydligt olika tekniker. Intressant nog är våra säkerhetsbevis inte beroende av att kunna spola tillbaka hårdvara tokens som skapats av skadliga parter. Detta innebär att vi kan lätta på antagandena att parterna känner till koden för den hårdvara token som de distribuerade. Detta gör det möjligt för oss att modellera verkliga attacker där till exempel en part helt enkelt kan överföra den token som erhållits från den ena parten till den andra utan att faktiskt veta dess funktionalitet. Dessutom, vår konstruktion modellerar interaktionen med den manipuleringsbeständiga hårdvaran som en enkel begäran-svar protokoll. Därför visar vi att de maskinvarupolletter som används i vår konstruktion kan återställas. I själva verket räcker det att använda token som är helt statslösa (och därmed inte kan verkställa ett multi-round protokoll). Vårt protokoll är också baserat på allmänna antaganden (nämligen förbättrade permutationer i fällan).
Även om alla ovan nämnda verk inte använder sig av manipuleringssäker hårdvara, Chandran et al. REF presenterar ett protokoll för allmänna UC-säkra MPC med återställbara polletter, men de måste byta flera polletter och förlita sig på starka kryptografiska antaganden, nämligen förbättrade permutationer i fällan.
New Constructions for UC Secure Computation Using Tamper-Proof Hardware
{'venue': 'In Advances in Cryptology, Proceedings of the 27th Annual International Conference on Theory and Application of Cryptographic Techniques – EUROCRYPT', 'journal': None, 'mag_field_of_study': ['Computer Science']}