Làm cách nào để chứng minh tính bảo mật nếu một mạch bị che khuất bởi IOï¼trong đó thuật toán tạo khóa của mã hóa chức năng được sử dụng trong mạch?

laolien

14:03, 05/07/2023

Tôi muốn thiết kế một sơ đồ, trong đó có một mạch C0 bị che khuất bởi khả năng che giấu không thể phân biệt (IO). Trong C0, khóa chính của mã hóa chức năng (FE) được kết nối cứng. Đưa ra một đầu vào z cho C0, nó xuất ra một khóa bí mật bằng cách sử dụng thuật toán tạo khóa của FE. C0 như sau:

C0(z)
{ cố định: msk
  đầu ra sk = FE.KeyGen(msk, z) 
}

Sau đó, C' = IO(C0) được trao cho người dùng. Với C', người dùng có thể tự tạo khóa bí mật.

Tuy nhiên, tôi không biết làm thế nào để chứng minh sự an toàn. Bằng cách bảo mật dựa trên mô phỏng, FE.KeyGen được thay thế bằng thuật toán S.KeyGen tương ứng của trình giả lập để thu được mạch mới C1:

C1(z)
{ đã kết nối cứng: st
  đầu ra sk = S.KeyGen(st, z) 
}

trong đó C' = IO(C1).

Tuy nhiên, vì FE.KeyGen và S.KeyGen đều mang tính xác suất nên khó có thể đảm bảo C0(z) = C1(z) với mọi z.

Làm thế nào để chứng minh sự an toàn? hoặc nên sử dụng phương pháp che giấu khả năng phân biệt xác suất (pIO)?

0 + 0

mã hóa chức năng

mô phỏng

Phan Văn Trường

Câu hỏi này là trong các ngôn ngữ khác:

EN: How to prove the security if a circuit is obscured by an IO，where the key generattion algorithm of a functional encryption is used in the circuit?

TH: จะพิสูจน์ความปลอดภัยได้อย่างไรหากวงจรถูกบดบังโดยIOï¼โดยที่อัลกอริทึมการสร้างคีย์ของการเข้ารหัสการทำงานถูกใช้ในวงจร

RO: Cum se dovedește securitatea dacă un circuit este ascuns de un IOï¼în cazul în care algoritmul de generare a cheii al unei criptări funcționale este utilizat în circuit?

RU: Как доказать безопасность, если цепь скрыта IOï¼, где в цепи используется алгоритм генерации ключей функционального шифрования?

VI: Làm cách nào để chứng minh tính bảo mật nếu một mạch bị che khuất bởi IOï¼trong đó thuật toán tạo khóa của mã hóa chức năng được sử dụng trong mạch?

Đăng câu trả lời

Hầu hết mọi người không hiểu rằng việc đặt nhiều câu hỏi sẽ mở ra cơ hội học hỏi và cải thiện mối quan hệ giữa các cá nhân. Ví dụ, trong các nghiên cứu của Alison, mặc dù mọi người có thể nhớ chính xác có bao nhiêu câu hỏi đã được đặt ra trong các cuộc trò chuyện của họ, nhưng họ không trực giác nhận ra mối liên hệ giữa câu hỏi và sự yêu thích. Qua bốn nghiên cứu, trong đó những người tham gia tự tham gia vào các cuộc trò chuyện hoặc đọc bản ghi lại các cuộc trò chuyện của người khác, mọi người có xu hướng không nhận ra rằng việc đặt câu hỏi sẽ ảnh hưởng—hoặc đã ảnh hưởng—mức độ thân thiện giữa những người đối thoại.