Vi tillhandahåller ett funktionellt krypteringssystem som stöder funktionalitet för vanliga språk. I vårt system en hemlig nyckel är associerad med en Deterministic Finite Automata (DFA) M. En chiffertext CT krypterar ett meddelande m och är associerad med en godtycklig längd sträng w. En användare kan dekryptera chiffertext CT om och endast om DFA M associerad med sin privata nyckel accepterar strängen w. Jämfört med andra kända funktionella krypteringssystem, är detta det första systemet där funktionaliteten är kapabel att känna igen ett obundet språk. Till exempel, i (Key-Policy) Attribut-Based Encryption (ABE) en privat nyckel SK är associerad med en enda boolesk formel som fungerar över ett fast antal booleanska variabler från chiffertext. Däremot, i vårt system en DFA M kommer meningsfullt att fungera över en godtycklig längd ingång w. Vi föreslår ett system som använder tvåradiga grupper. Vår lösning är ett "offentligt index" system, där meddelandet m är dolt, men strängen w är inte. Vi bevisar säkerhet i den selektiva modellen under en variant av beslutet -Bilinear Diffie-Hellman Exponent (BDHE) antagande att vi kallar beslutet -Expanderat BDHE problem.
Återvänder till det icke-interaktiva fallet, Waters REF beskrev ett funktionellt krypteringssystem som tillåter en hemlig nyckel knuten till en specifik DFA för att dekryptera en chiffertext om DFA accepterar en fast sträng associerad med chiffertext.
Functional encryption for regular languages
{'venue': 'In CRYPTO', 'journal': None, 'mag_field_of_study': ['Computer Science']}