Tính nhất quán cho mã hóa hàm
Consistency for Functional Encryption.
Trong mã hóa hàm (FE), người gửi Alice, mã hóa các văn bản gốc mà người nhận Bob, có thể nhận được các đánh giá về hàm, trong khi Charlie chịu trách nhiệm khởi tạo các khóa mã hóa và phát hành các khóa giải mã. Các khái niệm tiêu chuẩn về bảo mật cho FE xử lý Bob độc hại và cách duy trì tính bảo mật thông điệp của Alice có tính đến sự rò rỉ xảy ra do các khóa hàm được tiết lộ cho bên tấn công thông qua các dạng thử nghiệm không thể phân biệt khác nhau tương ứng với bảo mật dựa trên IND- CPA, IND-CCA và mô phỏng. Trong công việc này, các tác giả cung cấp một nghiên cứu đầy đủ và có hệ thống về Tính nhất quán, một thuộc tính bảo mật tự nhiên của FE, xử lý các cuộc tấn công có thể do Alice, Charlie thực hiện hoặc sự thông đồng của cả hai để chống lại Bob. Các tác giả phát triển ba kiểu khái niệm tính nhất quán chính theo nhóm nào bị lỗi và xem xét mối liên hệ của chúng với các thuộc tính bảo mật tiêu chuẩn của FE. Để xác thực các kiểu tính nhất quán khác nhau, các tác giả nghiên cứu FE trong cài đặt khả năng kết hợp tổng quát. Các tác giả cho thấy các khái niệm tính nhất quán của họ bổ sung một cách tự nhiên cho bảo mật FE bằng cách chứng minh cách chúng thể hiện (và được thể hiện bởi) bảo mật UC tùy thuộc vào nhóm bên nào bị lỗi; bằng cách này, họ chứng minh đặc tính tính đầy đủ của tính nhất quán đối với FE. Cuối cùng, các tác giả cung cấp các cấu trúc rõ ràng để đạt được tính nhất quán một cách hiệu quả trực tiếp thông qua cấu trúc dựa trên MDDH cho các lớp hàm cụ thể của các tích bên trong trên một nhóm Modulo hoặc nói chung cho tất cả các kiểu tính nhất quán thông qua trình biên dịch sử dụng các công cụ mã hóa tiêu chuẩn.