Abstrakt. Traditionellt sett ger säkra kryptografiska algoritmer säkerhet mot en motståndare som bara har tillgång till hemliga uppgifter från ärliga parter. Sådana modeller är dock inte alltid tillräckliga. I synnerhet, säkerheten för dessa algoritmer kan helt bryta under (genomförbara) attacker som manipulerar med den hemliga nyckeln. I detta dokument föreslår vi en teoretisk ram för att undersöka algoritmiska aspekter relaterade till manipuleringssäker säkerhet. I synnerhet definierar vi en modell för säkerhet mot en motståndare som tillåts tillämpa godtyckliga genomförbara funktioner f till den hemliga nyckeln sk, och få resultatet av de kryptografiska algoritmer med hjälp av den nya hemliga nyckeln f (sk). Vi bevisar att det i den mest allmänna situationen är omöjligt att uppnå denna starka uppfattning om säkerhet. Vi visar sedan minimala tillägg till modellen, som behövs för att uppnå påvisbar säkerhet. Vi bevisar att dessa tillägg är nödvändiga och också tillräckliga för de flesta vanliga kryptografiska primitiva, såsom krypterings- och signatursystem. Vi diskuterar applikationerna på bärbara enheter som skyddas av PIN-koder och visar hur man integrerar PIN-säkerhet i den generiska säkerhetsdesignen. Slutligen undersöker vi begränsningar av modellen där motståndarens manipuleringskrafter är begränsade. Dessa begränsningar modellerar realistiska attacker (som differential felanalys) som har visats i praktiken. I dessa inställningar visar vi säkerhetslösningar som fungerar även utan de tillägg som nämns ovan.
De visar också att icke-aducerbara koder är tillräckliga för att uppnå säkerhet i modellen för REF.
Algorithmic tamper-proof (ATP) security: Theoretical foundations for security against hardware tampering
{'venue': 'In Theory of Cryptography, Volume 2951 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}