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

laolien

05.07.2023, 14:03

Я хочу разработать схему, в которой есть схема C0, скрытая запутыванием неразличимости (IO). В C0 жестко зашит главный ключ функционального шифрования (FE). При входе z в C0 он выводит секретный ключ, используя алгоритм генерации ключа FE. C0 выглядит следующим образом:

С0(г)
{ аппаратно: мск
  вывод sk = FE.KeyGen(msk, z) 
}

Затем пользователю предоставляется C' = IO(C0). С помощью C' пользователь может самостоятельно сгенерировать секретный ключ.

Однако я не знаю, как доказать безопасность. По системе безопасности, основанной на моделировании, FE.KeyGen заменяется соответствующим алгоритмом S.KeyGen симулятора для получения новой схемы C1:

С1(г)
{ аппаратно: ул.
  вывод sk = S.KeyGen(st, z) 
}

где С' = IO(C1).

Однако, поскольку FE.KeyGen и S.KeyGen являются вероятностными, сложно гарантировать, что C0(z) = C1(z) для всех z.

Как доказать безопасность? или следует использовать вероятностное запутывание неразличимости (pIO)?

0 + 0

функциональное шифрование

моделирование

Admin

Этот вопрос на других языках:

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?

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.