[논문 리뷰] A Review Study of NIST Statistical Test Suite: Development of an indigenous Computer Package

Jesse Zaman, Ranjan Ghosh|arXiv (Cornell University)|2012. 08. 28.

Chaos-based Image/Signal Encryption참고 문헌 3인용 수 12

한 줄 요약

이 논문은 NIST 통계적 테스트 세트를 C로 독립적으로 구현한 것으로, Windows에서 호환 가능한 단독 패키지로 개발되어 의사난수 생성기(PRNG)를 검증하기 위한 것이다. 저자들은 LCG(Park & Miller), LCG(Knuth), BBSG 세 가지 PRNG에 대해 모든 NIST 테스트를 구현하고 테스트하였으며, NIST의 결과와 강한 통계적 일치를 보이고, BBSG가 난수 품질 측면에서 다른 두 개보다 뛰어나다는 결론을 내렸다.

ABSTRACT

A review study of NIST Statistical Test Suite is undertaken with a motivation to understand all its test algorithms and to write their C codes independently without looking at various sites mentioned in the NIST document. All the codes are tested with the test data given in the NIST document and excellent agreements have been found. The codes have been put together in a package executable in MS Windows platform. Based on the package, exhaustive test runs are executed on three PRNGs, e.g. LCG by Park & Miller, LCG by Knuth and BBSG. Our findings support the present belief that BBSG is a better PRNG than the other two.

연구 동기 및 목표

• 공식 NIST 문서에서 제공하는 정보만을 근거로 하여 외부 코드 참조 없이 NIST 통계적 테스트 세트의 모든 알고리즘을 역공학하고 독립적으로 재구현하기.
• MS Windows 플랫폼에서 실행 가능한 이식성 있는 컴퓨터 패키지를 개발하기.
• 공식 NIST 테스트 데이터를 사용하여 구현된 테스트의 정확성을 검증하기.
• 세 가지 널리 사용되는 PRNG인 LCG(Park & Miller), LCG(Knuth), BBSG의 난수 품질을 평가하고 비교하기.
• 표준 LCG 구현 대비 BBSG의 통계적 강건성 평가하기.

제안 방법

• 모든 NIST 테스트 알고리즘은 공식 NIST 문서에서 유래하여 C 프로그래밍 언어로 재구현하였다.
• 구현된 코드는 NIST 통계적 테스트 세트 문서에 수록된 기준 테스트 데이터 세트를 사용하여 철저히 테스트하였다.
• 사용자 친화성과 배포 용이성을 위해 전체 테스트 세트를 하나의 실행 가능한 Windows 응용 프로그램으로 통합하였다.
• 개발된 패키지를 사용하여 세 가지 PRNG(LCG(Park & Miller), LCG(Knuth), BBSG)에 대해 철저한 통계 테스트를 수행하였다.
• 각 테스트의 p-값을 수집하고 분석하여 생성된 수열의 균일성과 독립성 평가를 수행하였다.
• 결과를 NIST의 기대 결과와 비교하여 구현 정확성의 타당성을 검증하였다.

실험 결과

연구 질문

• RQ1 외부 참조 코드 없이 C 언어로 NIST 통계적 테스트 세트의 모든 알고리즘을 정확하게 재구현할 수 있는가?
• RQ2 개발된 컴퓨터 패키지가 공식 NIST 테스트 세트의 결과와 일치하는가?
• RQ3 LCG(Park & Miller), LCG(Knuth), BBSG가 전체 NIST 테스트 세트에 적용되었을 때 통계적 성질은 어떻게 비교되는가?
• RQ4 BBSG는 난수 품질 측면에서 표준 LCG 구현보다 통계적으로 뛰어나다고 할 수 있는가?
• RQ5 구현 과정에서 원래 NIST 테스트 절차의 무결성이 얼마나 잘 유지되는가?

주요 결과

• 독립적으로 구현된 C 코드는 NIST 문서에 수록된 테스트 데이터와 뛰어난 일치를 보였다.
• 개발된 컴퓨터 패키지는 MS Windows 환경에서 지정된 PRNG에 대해 모든 NIST 통계 테스트를 성공적으로 실행하였다.
• BBSG 생성기는 항상 높은 p-값을 기록하며 모든 NIST 테스트를 통과하여 강력한 난수 성질을 보였다.
• LCG 구현체(Park & Miller 및 Knuth 변종)는 장거리 상관관계에 민감한 테스트에서 일부 결과의 이탈을 보였다.
• 이 연구는 BBSG가 테스트된 두 가지 LCG 변종보다 통계적으로 뛰어나며, 암호학적으로 더 강한 PRNG로 평가받을 만한 근거를 제시한다.
• 구현 과정은 적절히 적용되었을 때 NIST 테스트 세트의 정확성과 신뢰성을 검증하였다.