Abstrakt. Vi tar itu med problemet med att använda opålitliga (potentiellt skadliga) kryptografiska hjälpare. Vi tillhandahåller en formell säkerhetsdefinition för säker outsourcing av beräkningar från en beräkningsbegränsad enhet till en opålitlig hjälpare. I vår modell, den kontradiktoriska miljön skriver programvaran för hjälparen, men sedan inte har direkt kommunikation med den när enheten börjar förlita sig på den. Utöver säkerheten tillhandahåller vi också en ram för kvantifiering av effektiviteten och kontrollbarheten i en outsourcingimplementation. Vi presenterar två praktiska outsourcing-säkra system. Specifikt visar vi hur man säkert outsourca modulär exponentiation, som presenterar den beräkningsmässiga flaskhalsen i de flesta publika nyckel kryptografi på beräkningsbegränsade enheter. Utan outsourcing, en enhet skulle behöva O(n) modulära multiplikationer för att utföra modulär exponentiation för n-bit exponenter. Belastningen minskar till O(log 2 n) för varje exponentiation-baserat system där den ärliga enheten kan använda två opålitliga exponentiationsprogram; vi belyser Cramer-Shoup cryptosystem [13] och Schnorr signaturer [28] som exempel. Med en avslappnad uppfattning om säkerhet, uppnår vi samma belastningsreduktion för en ny CCA2-säker kryptering system med bara en opålitlig Cramer-Shoup krypteringsprogram.
År 2005, Hohenberger et al. REF presenterade praktiska outsourcesafeure system för modulär exponentiation där den ärliga parten kan använda två exponentiationsprogram.
How to securely outsource cryptographic computations
{'venue': 'In TCC 05', 'journal': None, 'mag_field_of_study': ['Computer Science']}