WikiDer > Безопасное двустороннее вычисление

Secure two-party computation

Безопасное двустороннее вычисление (2PC) является подзадачей безопасные многосторонние вычисления (MPC), который привлек особое внимание исследователей из-за его тесной связи со многими криптографический задачи. Цель 2PC - создать общий протокол, который позволяет двум сторонам совместно вычислять произвольную функцию на своих входах, не разделяя значения своих входов с противоположной стороной. Один из самых известных примеров 2PC - это Проблема миллионера Яо, в котором две стороны, Алиса и Боб, являются миллионерами, которые хотят определить, кто богаче, не раскрывая своего богатства. Формально у Алисы есть богатство , У Боба есть богатство , и они хотят вычислить без раскрытия ценностей или же .

Яос искаженный протокол цепи для двухсторонних вычислений [1] только обеспечивал защиту от пассивных противников. Протоколы 2PC, защищенные от активных противников, были предложены Линделлом и Пинкасом,[2] Ишай, Прабхакаран и Сахай [3] и Нильсен и Орланди.[4]Другое решение этой проблемы, которое явно работает с подтвержденным вводом, было предложено Яреки и Шматиковым.[5]

Безопасность

Безопасность протокола двусторонних вычислений обычно определяется путем сравнения с идеализированным сценарием, который является безопасным по определению. Идеализированный сценарий предполагает доверенная сторона который собирает данные двух сторон более безопасные каналы и возвращает результат, если ни одна из сторон не решила прервать выполнение. Криптографический протокол двусторонних вычислений безопасен, если он ведет себя не хуже, чем этот идеальный протокол, но без дополнительных доверять предположения. Обычно это моделируется с помощью симулятора. Задача симулятора - действовать как оболочка вокруг идеализированного протокола, чтобы он выглядел как криптографический протокол. Симуляция успешна в отношении теоретическая информация, соответственно вычислительно ограниченный противник если выход симулятора статистически близко соответственно вычислительно неразличимый с выхода криптографического протокола. Протокол двухсторонних вычислений безопасен, если для всех противников существует успешный симулятор.

Смотрите также

Рекомендации

  1. ^ Яо, А. С. (1982). «Протоколы для безопасных вычислений». 23-й ежегодный симпозиум по основам информатики (sfcs 1982). С. 160–164. Дои:10.1109 / SFCS.1982.38.
  2. ^ Lindell, Y .; Пинкас, Б. (2007). Достижения в криптологии - EUROCRYPT 2007. Конспект лекций по информатике. 4515. С. 52–78. Дои:10.1007/978-3-540-72540-4_4. ISBN 978-3-540-72539-8.
  3. ^ Ishai, Y .; Прабхакаран, М .; Сахай, А. (2008). Достижения в криптологии - CRYPTO 2008. Конспект лекций по информатике. 5157. С. 572–591. Дои:10.1007/978-3-540-85174-5_32. ISBN 978-3-540-85173-8.
  4. ^ Nielsen, J. B .; Орланди, К. (2009). «LEGO для двусторонних безопасных вычислений». Теория криптографии. Конспект лекций по информатике. 5444. С. 368–386. CiteSeerX 10.1.1.215.4422. Дои:10.1007/978-3-642-00457-5_22. ISBN 978-3-642-00456-8.
  5. ^ Jarecki, S .; Шматиков, В. (2007). Достижения в криптологии - EUROCRYPT 2007. Конспект лекций по информатике. 4515. С. 97–114. Дои:10.1007/978-3-540-72540-4_6. ISBN 978-3-540-72539-8.