Vi inleder den formella studien av funktionell kryptering genom att ge exakta definitioner av begreppet och dess säkerhet. Ungefär så stöder funktionell kryptering begränsade hemliga nycklar som gör det möjligt för en nyckelhållare att lära sig en specifik funktion av krypterade data, men inte lära sig något annat om data. Till exempel, med tanke på ett krypterat program den hemliga nyckeln kan göra det möjligt för nyckelinnehavaren att lära sig utdata från programmet på en specifik ingång utan att lära sig något annat om programmet. Vi visar att definiera säkerhet för funktionell kryptering är icke-trivial. För det första visar vi att en naturlig spelbaserad definition är otillräcklig för vissa funktioner. Vi presenterar sedan en naturlig simuleringsbaserad definition och visar att den (bevisligen) inte kan uppfyllas i standardmodellen, utan kan tillfredsställas i den slumpmässiga orakelmodellen. Vi visar hur man kartlägger många befintliga koncept till vår formalisering av funktionell kryptering och avslutar med flera intressanta öppna problem i detta unga område.
Den formella studien av funktionell kryptering (FE) initierades av Boneh et al. REF med syntax och säkerhetsmodell definierad för allmän funktionalitet.
Functional Encryption: Definitions and Challenges
{'venue': 'TCC', 'journal': None, 'mag_field_of_study': ['Computer Science']}