Протокол верификации данных для схемы конфиденциальных вычислений с гомоморфным шифрованием

DOI: 10.21293/1818-0442-2024-27-2-31-36

Скачать текст статьи в формате PDF

Скачать JATS xml

Аннотация: Большую роль в рамках современного общества получили системы аукционных торгов и технологии BigData. Однако за счет того, что обозначенные технологии могут работать с финансами их участников, возникает необходимость внедрения в них систем безопасности, обеспечивающих возможность верификации данных. Предложен протокол верификации данных на основе применения гомоморфного шифрования. Показана формальная оценка безопасности разработанного протокола, а также проведён анализ с вероятностной точки зрения.

Ключевые слова: конфиденциальные вычисления, гомоморфное шифрование, верификация данных, аукционные торги

Сведения о финансировании: Исследование проведено при финансовой поддержке Минобрнауки России («Грант ИБ МТУСИ») № 40469-08/23-К.

Библиография статьи:
Быстревский С. А. Протокол верификации данных для схемы конфиденциальных вычислений с гомоморфным шифрованием / С. А. Быстревский, А. Е. Боршевников, Ю. В. Добржинский // Доклады Томского государственного университета систем управления и радиоэлектроники. – 2024. – Т. 27, № 2. – С. 31–36. DOI: 10.21293/1818-0442-2024-27-2-31-36

Авторы и правообладатели:

  • 1. Технологии доверенного взаимодействия в экосистеме Национальной технологической инициативы / А.А. Шелупанов, Д.С. Брагин, А.А. Конев, Р.А. Пермяков // Современное образование: интеграция образования, науки, бизнеса и власти: матер. междунар. науч.-метод. конф. – Томск: Изд-во ТУСУР, 2022. – Ч. 2. – С. 15–20.
  • 2. Быстревский С.А. Об одном алгоритме конфиденциальных вычислений на основе гомоморфного шифрования для проведения аукционных торгов / С.А. Быстревский, А.Е. Боршевников // Молодежь. Наука. Инновации: сб. докл. 65-й Междунар. молодежной науч.-техн. конф. – Владивосток: Мор. гос. ун-т., 2023. – Т. 1. – С. 143–148.
  • 3. Загартдинов Б.Н. Анализ реализации технологий конфиденциальных вычислений / Б.Н. Загартдинов, М.В. Поляков // Вопросы кибербезопасности. – 2023. – № 6 (58). – С. 122–127.
  • 4. Берешполов И.С. Алгоритм кластеризации данных для защиты конфиденциальной информации в сети Интернет / И.С. Берешполов, Ю.А. Кравченко, А.Г. Слепцов // Известия ЮФУ. Технические науки. – 2023. – № 3 (233). – С. 74–85.
  • 5. Schneider T. GMW vs. Yao? Ecient Secure Two-Party Computation with Low Depth Circuits / Thomas Schneider, Michael Zohner // ACS Sensors. – 2017. – Vol. 2, No. 8. – P. 1128–1132.
  • 6. Запечников C.В. Конфиденциальное машинное обучение на основе двусторонних протоколов безопасных вычислений / C.В. Запечников, А.Ю. Щербаков // Безопасность информационных технологий. – 2021. – Т. 28, № 4. – С. 39–51.
  • 7. Запечников С.В. Конфиденциальное машинное обучение на основе трехсторонних протоколов безопасных вычислений // Безопасность информационных технологий. – 2022. – Т. 29, № 1. – С. 30–43.
  • 8. Запечников C.В. Конфиденциальное машинное обучение на основе четырехсторонних протоколов безопасных вычислений // Безопасность информационных технологий. – 2022. – Т. 29, № 2. – С. 46–56.
  • 9. Asharovy G. A Full Proof of the BGW Protocol for Perfectly Secure Multiparty Computation / G. Asharovy, Y. Lindelly // DSPA: Issues of application of digital signal processing. – 2018. – Vol. 8, No. 1. – P. 12–17. DOI: 10.1007/s00145-015-9214-4.
  • 10. Airtnt: Fair exchange payment for outsourced secure enclave computations / M. Al-Bassam, A. Sonnino, M. Krol, I. Psaras // arXiv preprint arXiv:1805.06411. – 2018. – URL: https://arxiv.org/pdf/1805.06411, свободный (дата обращения: 23.07.2024).
  • 11. Tesseract: Real-time cryptocurrency exchange using trusted hardware / I. Bentov, Y. Ji, F. Zhang, Y. Li, X. Zhao, L. Breidenbach, P. Daian, A. Juels // Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. – 2019. – P. 1521–1538. DOI: 10.1145/3319535.3363221.
  • 12. Ekiden: A platform for confidentiality-preserving, trustworthy, and performant smart contracts / R. Cheng, F. Zhang, J. Kos, W. He, N. Hynes, N. Johnson, A. Juels, A. Miller, D. Song // 2019 IEEE European Symposium on Security and Privacy (EuroS&P). – 2019. – P. 185–200. DOI: 10.1109/EuroSP.2019.00023.
  • 13. Galal H.S. Succinctly verifiable sealed-bid auction smart contract / H.S. Galal, A.M. Youssef // Data Privacy Management, Cryptocurrencies and Blockchain Technology. – Springer, 2018. – P. 3–19. DOI: 10.1007/978-3-030-00305-0_1.
  • 14. Казарин О.В. Разработка методов проактивной защиты информационных систем на основе конфиденциальных вычислений // Вопросы защиты информации. – 2013. – № 3 (102). – С. 68–80.
  • 15. Пороговые схемы гомоморфного шифрования и защита информации в облачных вычислениях / Н.П. Варановский, С.А. Мартишин, М.В. Храпченко, А.В. Шокуров // Вестник Моск. ун-та. Сер. 15: Вычислительная математика и кибернетика. – 2017. – № 1. – С. 38–44.
  • 16. Русаловский И.Д. Проблема полностью гомоморфной обработки целых чисел / И.Д. Русаловский, Л.К. Бабенко // Безопасность информации и компьютерных сетей (SIN 2019): матер. 12-й Междунар. науч. конф. – Сочи: Изд-во СГУ, 2019. – С. 41–43.
  • 17. Бабенко Л.К. Библиотека полностью гомоморфного шифрования целых чисел / Л.К. Бабенко, И.Д. Русаловский // Изв. ЮФУ. Технические науки. – 2020. – № 2 (212). – С. 218–227.
Адрес редакции

  634050, г. Томск, пр. Ленина, 40, МК, каб. 310/2

  (3822) 701-582, внутр.: 1456

  journal@tusur.ru