Abstrakt. Funktionell kryptering (FE) är en kraftfull kryptografisk primitiv som generaliserar många asymmetriska krypteringssystem som föreslagits under de senaste åren. Syntax- och säkerhetsdefinitioner för allmän FE föreslogs nyligen av Boneh, Sahai och Waters (BSW) (TCC 2011) och oberoende av O'Neill (ePrint 2010/556). I detta dokument ser vi över dessa definitioner, identifierar flera brister i dem och föreslår en ny definitionsstrategi som övervinner dessa begränsningar. Våra definitioner visar på goda kompositionsegenskaper och gör det möjligt för oss att få nya genomförbarhets- och omöjlighetsresultat för adaptiva token-extraktion attackscenarier som kastar ytterligare ljus över den potentiella räckvidden för allmän FE för praktiska tillämpningar. De viktigaste bidragen i dokumentet är följande: -Vi visar att BSW definitionen av semantisk säkerhet misslyckas med att avvisa intuitivt osäkra FE system där en chiffertext läcker mer om ett krypterat meddelande än det som kan återvinnas från en bild under den stödda funktionaliteten. Vår definition (som O'Neills) lider inte av detta problem. -Vi introducerar en ortogonal uppfattning om installationssäkerhet som förkastar alla FE system där master hemliga nyckel kan ge oönskade makt till TA, vilket gör det möjligt att återvinna extra information från bilder under den stödda funktionaliteten. Vi bevisar att FE-system som stöder alla-eller-ingenting-funktioner i sig är setup-säkra och ytterligare visar att många välkända funktioner är allt-eller-ingenting. -Vi utökar ekvivalensen av O'Neill mellan oskiljaktighet och semantisk säkerhet till att begränsa adaptiva tokenextraktion attacker (standardbegreppet säkerhet för t.ex. IBE och ABE system). Vi konstaterar att denna likvärdighet gäller för den stora klassen av alla-eller-ingenting-funktioner. Omvänt visar vi att den bevisteknik som används för att fastställa denna likvärdighet inte kan tillämpas på system som stöder en enkelriktad funktion. -Vi visar att den anmärkningsvärda inre produkt funktionalitet som infördes av Katz, Sahai och Waters (EURO-CRYPT 2008) kan användas för att koda en enkelriktad funktion under problemet Small Integer Solution (SIS), och därmed naturliga metoder för att bevisa dess (begränsade) adaptiva säkerhet misslyckas. Detta kompletterar O'Neills ekvivalensresultat för det icke-adaptiva fallet, och lämnar frågan öppen om att bevisa den semantiska säkerheten hos befintliga inre produktkrypteringssystem.
I det senaste arbetet, Barbosa och Farshim REF, utvidga O'Neills likvärdighet mellan oskiljaktighet och semantisk säkerhet till begränsade adaptiva viktiga extraktion attacker och visa att denna likvärdighet innehar för en stor klass av funktioner.
On the Semantic Security of Functional Encryption Schemes
{'venue': 'Public Key Cryptography', 'journal': None, 'mag_field_of_study': ['Computer Science']}