논문KCI 등재
Closest Vector Problem에 기반한 Interactive Proof
Closest Vector Problem Based Interactive Proof
1
조회
0
다운로드
0
인용
0
참고문헌
키워드
주제분류컴퓨터학
초록
이 논문에서는 래티스(Lattice)의 CVP (Closest Vector Problem)에 기반한 영지식 증명 기반의 인증프로토콜을 제안한다. CVP를 이용해서 암호시스템을 설계할 때 흔히 사용하는 길이가 짧은 기저벡터를 트랩도어 또는 비밀키로 사용하지 않는 프로토콜로서 의의를 가지며, 프로토콜의 설계가 단순하고 안전성 증명도 쉬워진다. 제안한 프로토콜의 안전성을 completeness, soundness, simulatability로 증명한다.
Abstract
In this paper, we propose a new closest vector problem based interactive proof that is useful for authentication. Contribution of this paper is that the proposed protocol does not use a special form of a lattice, but a general lattice, which makes the protocol design very simple and easy to be proved. We prove its security in terms of completeness, soundness, simulatability.
참고문헌 (14)
- M. Ajtai, "A public-keycryptosystem with worst-case", average-caseequivalence, 1997, 284~293
- A. Fiat, "How to prove toyourself : practical solutions to identificationand signature problems", Advancesin Cryptology–Crypto 1986, pp.186~194 (1987)
- C. Gentry, "Fully homomorphic encryptionusing ideal lattices", In STOC 2009, pp.169~178 (2009)
- O. Goldreich, "Public-key cryptosystems fromlattice reduction problems", Advances incryptology-Crypto 1997, pp.112~131 (1997)
- L. Guillou, "Aparadoxical identity-based signaturescheme resulting from zero-knowledge", Advances in Cryptology-Crypto 1988, pp.216~231 (1988)
- V. Lyubashevsky, "Lattice-based identificationschemes secure under activeattacks", PKC 2008, pp.162~179 (2008)
- D. Micciancio, "Statisticalzero-knowledge proofs with efficientprovers : lattice problems and more", Advances in cryptology - Crypto 2002, pp.282~298 (2003)
- P. Q. Nguyen, "Cryptanalysis of theGoldreich-Goldwasser-Halevi Cryptosystemfrom Crypto '97", Advances in CryptologyCrypto 1999, pp.288~304 (1999)
- C. P. Schnorr, "Efficient Identificationand Signatures for Smart cards", Advancesin Cryptology-Crypto 1989, pp.239~251 (1989)
- 양대헌, "Goldreich-Goldwasser-Halevi 전자서명의 선택 평문 공격", 정보보호학회논문지, 14(1), pp.47~57 (2004), 한국정보보호학회
- A. K. Lenstra, "Factoring polynomials withrational coefficients", Mathematische Annalen, 261(4), pp.515~534 (1982)
- C. Gentry, "Cryptanalysisof the Revised NTRU signature scheme", Advances in Cryptology-Eurocrypt’02, pp.299~320 (2002)
- "AnIntroduction to Elliptic and HyperellipticCurve Cryptography and the NTRUCryptosystem"[URL]
- I. Dinur, "Approximating CVP toWithin Almost-Polynomial Factors isNP-Hard", Combinatorica, 23(2), pp.205~243 (2003)
관련 논문AI추천
래티스에서 ID 기반의 이행성 서명 기법노건태, 천지영한국정보보호학회 · 정보보호학회논문지2021 · 제31권 제3호스크립트 공격을 막기 위한 NTRUSign 보안 연구배성현, 정종혁한국전기전자학회 · 전기전자학회논문지2019 · 제23권 제1호약한 키를 가지는 대화식 영지식 증명의 안전성 강화 방법과 그 응용양대헌한국정보보호학회 · 정보보호학회논문지2002 · 제12권 제1호Diffie-Hellman 가정에 기초한 새로운 대화식 DH 문제와 이를 이용한 Identification 기법양대헌, 이경희한국정보보호학회 · 정보보호학회논문지2009 · 제19권 제6호Analysis of the strong instance for the vector decomposition problem권세란, 이향숙대한수학회 · 대한수학회보2009 · 제46권 제2호Gauss Sieve 반복 동작에서의 비효율성 개선김수리, 이창원, 전찬호, 천병호, 홍석희한국정보보호학회 · 정보보호학회논문지2023 · 제33권 제2호