ГлавнаяАрхивBlind signature as a shield against backdoors in smart cards

Blind signature as a shield against backdoors in smart cards | Прикладная дискретная математика. 2024. № 63. DOI: 10.17223/20710410/63/3

Рассматривается задача обеспечения защиты от подделки подписи (в том числе за счёт восстановления ключа подписи) в условиях наличия закладок в аппаратном или программном обеспечении функционалвных ключевых носителей (смарт-карт). Предлагается новый подход к решению задачи, основанный на исполвзовании схем подписи вслепую. Показывается, что обеспечение схемой подписи вслепую свойств неотслеживаемости при условии честной генерации ключей и неподделываемости относителвно «честного, но любопытного» нарушителя обеспечивает защиту от закладок в смарт-картах. В качестве конкретного примера рассматривается схема подписи вслепую на основе уравнения ГОСТ, предложенная Каменишем. Доказывается, что эта схема обеспечивает защиту от закладок при единственном предположении, что схема подписи ГОСТ обеспечивает свойство неподделываемости в стандартном смысле.
  • Title Blind signature as a shield against backdoors in smart cards
  • Headline Blind signature as a shield against backdoors in smart cards
  • Publesher Tomask State UniversityTomsk State University
  • Issue Прикладная дискретная математика 63
  • Date:
  • DOI 10.17223/20710410/63/3
Ключевые слова
схема подписи вслепую, ГОСТ Р 34.10-2012, недоверенные смарт-карты, закладки
Авторы
Ссылки
Alekseev E. K., Akhmetzyanova L. R., Oshkin I. B., and Smyshlyaev S. V. Obzor uvazvimostev nekotorvkh protokolov vvrabotki obshchego klvucha s autentifikatsiev na osnove parolva i printsipv postroeniva protokola SESPAKE [A review of the password authenticated key exchange protocols vulnerabilities and principles of the SESPAKE protocol construction], Matematicheskie Voprosv Kriptografii, 2016, vol.7, iss.4, pp.7-28. (in Russian).
Alekseev E. K., Akhmetzyanova L. R., Bozhko A. A., and Smyshlyaev S. V. Bezopasnava realizatsiva elektronnov podpisi s ispol’zovaniem slabodoverennogo vvchislitelva [Secure implementation of digital signature using semi-trusted computational core], Matematicheskie Voprosv Kriptografii, 2021, vol. 12, iss.4, pp.5-23. (in Russian).
Wang Y. Password protected smart card and memory stick authentication against off-line dictionary attacks. D. Critzalis, S. Furnell, and M. Theoharidou (eds.), Information Security and Privacy Research, Berlin, Heidelberg, Springer, 2012, pp. 489-500.
GOST R 34.10-2012. Informatsionnava tekhnologiva. Kriptograficheskava zashchita informatsii. Protsessv formirovaniva i proverki elektronnov tsifrovov podpisi. [GOST R 34.102012. Information Technology. Cryptographic Data Security. Signature and Verification Processes of Electronic Digital Signature]. Moscow, Standartinform Publ., 2012. (in Russian).
Chaum D. Blind signatures for untraceable payments. D. Chaum, R. L. Rivest, and A.T. Sherman (eds.) Advances in Cryptology. Boston, MA, Springer, 1983. pp. 199-203.
Cameniseh J. L., Piveteau J. M., and Stadler M. A. Blind signatures based on the discrete logarithm problem. LNCS, 1995, vol. 950, pp. 428-432.
Bellare M. and Rogaway P. The security of triple encryption and a framework for code-based game-plaving proofs. LNCS, 2006, vol. 4004, pp. 409-426.
Tessaro S. and Zhu C. Short pairing-free blind signatures with exponential security. LNCS, 2022, vol. 13276, pp. 782-811.
Juels A., Luby M., and Ostrovsky R. Security of blind digital signatures. LNCS, 1997, vol. 1294, pp. 150-164.
Fischlin M. and Mittelbach A. An Overview of the Hybrid Argument. Cryptology ePrint Archive, paper 2021/088, https://eprint.iacr.org/2021/088, 2021.
Akhmetzyanova L., Alekseev E., Babueva A., and Smyshlyaev S. On the (im)possibility of ElGamal blind signatures. Cryptology ePrint Archive, paper 2022/1128, https://eprint.iacr.org/2022/1128, 2022.
Ham L. and Xu Y. Design of generalised ElGamal type digital signature schemes based on discrete logarithm. Electronics Letters, 1994, vol. 30, pp. 2025-2026.
Fersch M. The provable security of Elgamal-tvpe signature schemes. Doctoral Thesis, Ruhr-Universitat Bochum, 2018.
Kastner J., Loss J., and Xu J. On pairing-free blind signature schemes in the algebraic group model. LNCS, 2022, vol. 13178, pp. 468-497.
Blind signature as a shield against backdoors in smart cards | Прикладная дискретная математика. 2024. № 63. DOI: 10.17223/20710410/63/3
Blind signature as a shield against backdoors in smart cards | Прикладная дискретная математика. 2024. № 63. DOI: 10.17223/20710410/63/3