[논문 리뷰] New variant of ElGamal signature scheme

Omar Khadir|arXiv (Cornell University)|2013. 01. 15.

Cryptography and Data Security참고 문헌 11인용 수 9

한 줄 요약

이 논문은 삼중 미지수(r, s, t)를 가진 엘가말 디지털 서명 방식의 새로운 변종을 제안하며, 확장 유클리드 알고리즘을 피하기 위해 보안을 향상시킨다. 이 방식은 이산 로그 문제에 기반한 일반화된 서명 식을 사용하며, 기존 공격에 대한 보안 분석을 수행하고, 수학적 관심을 위해 n개의 변수로의 이론적 일반화를 제공한다.

ABSTRACT

In this paper, a new variant of ElGamal signature scheme is presented and its security analyzed. We also give, for its theoretical interest, a general form of the signature equation.

연구 동기 및 목표

• 기존 공격에 대한 저항력을 향상시킨 엘가말 서명 방식의 새로운 변종을 설계하기.
• 서명 생성 과정에서 확장 유클리드 알고리즘에 의존하지 않도록 하기.
• 수학적 통찰을 위해 서명 식을 n개의 변수로 이론적으로 일반화하기.
• 기존의 존재적 위조 공격 및 개인 키 복구 공격에 대한 새로운 방식의 보안 분석하기.
• 기존 변종들과 비교하여 제안된 방식의 계산 복잡도 평가하기.

제안 방법

• 서명 식은 α^t ≡ y^r * r^s * s^m (mod p)이며, r, s, t는 계산되어야 할 미지수이다.
• 앨리스는 무작위로 선택한 k₁, k₂ ∈ ℤ_{p−1}^*에 대해 r = α^k₁ mod p 및 s = α^k₂ mod p로 설정한다.
• 검증 식은 양변을 mod p로 계산한 후 결과를 비교하여 확인한다.
• 서명 매개변수 t는 개인 키 x를 사용하여 t ≡ x*r + k₁*s + k₂*m (mod p−1)로 계산된다.
• 알려진 값들을 사용하여 모듈로 방정식을 직접 풀음으로써 확장 유클리드 알고리즘을 피한다.
• 이론적 일반화로 방정식은 n+1개의 미지수로 확장되며, t ≡ x*r₁ + k₁*r₂ + ... + k_{n−1}*rₙ + kₙ*m (mod p−1)로 표현된다.

실험 결과

연구 질문

• RQ1 확장 유클리드 알고리즘을 피할 수 있는 삼중 미지수를 가진 새로운 엘가말 서명 변종을 구성할 수 있는가?
• RQ2 제안된 방식의 보안 수준은 기존 엘가말 방식과 기존 공격에 대해 어떻게 비교되는가?
• RQ3 제안된 방식의 계산 복잡도는 모듈로 거듭제곱과 곱셈의 수로 어떻게 평가되는가?
• RQ4 서명 식을 세 개를 초과하는 미지수로 일반화할 수 있으며, 이때 보안성과 정확성이 유지되는가?
• RQ5 기존의 존재적 위조 공격이 새로운 방식에서 가능할 수 있으며, 만약 가능하다면 어떤 조건에서 가능한가?

주요 결과

• 제안된 방식은 서명 생성 과정에서 확장 유클리드 알고리즘을 피하여 구현을 단순화한다.
• 서명에 동일한 비밀 지수를 사용할 경우 개인 키 복구 공격에 저항함을 일반화된 식 분석을 통해 입증된다.
• 특정 매개변수 조건 하에서는 존재적 위조가 가능하며, 이는 수정된 블라이히엔바흐어 스타일의 공격으로 입증되었다.
• 계산 비용은 중간 수준이다: 서명에 483 T_mult + T_h, 검증에 962 T_mult + T_h가 소요되며, T_exp = 240 T_mult로 가정한다.
• 통신 비용은 공개 키와 서명 구성 요소를 포함해 총 6|p| 비트이다.
• 이론적 일반화로 n개의 변수로의 확장이 가능하며, t는 비밀값과 서명 매개변수 벡터의 스칼라 곱을 mod p−1로 계산한다.