[논문 리뷰] General Framework for Evaluating Password Complexity and Strength

Cem Şahin, Robert Lychev외 1명|arXiv (Cornell University)|2015. 12. 17.

User Authentication and Security Systems참고 문헌 25인용 수 4

한 줄 요약

이 논문은 공격자 행동을 모델링함으로써 암호의 복잡도와 강도를 구분하고 계산하기 위한 공식적 프레임워크를 제안한다. 이는 계산 자원, 사전 지식, 무르의 법칙(Moore’s Law)과 같은 진화하는 능력을 포함한다. FAT-strength는 저장 기능, 적대자 능력, 사용자 정의 시간 한도를 사용하여 해독 소요 시간을 추정하는 가설 검증 접근법으로, 기존의 엔트로피나 히우리스틱보다 더 정확하고 현실적인 측정을 제공한다.

ABSTRACT

Although it is common for users to select bad passwords that can be easily cracked by attackers, password-based authentication remains the most widely-used method. To encourage users to select good passwords, enterprises often enforce policies. Such policies have been proven to be ineffectual in practice. Accurate assessment of a password's resistance to cracking attacks is still an unsolved problem, and our work addresses this challenge. Although the best way to determine how difficult it may be to crack a user-selected password is to check its resistance to cracking attacks employed by attackers in the wild, implementing such a strategy at an enterprise would be infeasible in practice. We first formalize the concepts of password complexity and strength with concrete definitions emphasizing their differences. Our framework captures human biases and many known techniques attackers use to recover stolen credentials in real life, such as brute-force attacks. Building on our definitions, we develop a general framework for calculating password complexity and strength that could be used in practice. Our approach is based on the key insight that an attacker's success at cracking a password must be defined by its available computational resources, time, function used to store that password, as well as the topology that bounds that attacker's search space based on that attacker's available inputs, transformations it can use to tweak and explore its inputs, and the path of exploration which can be based on the attacker's perceived probability of success. We also provide a general framework for assessing the accuracy of password complexity and strength estimators that can be used to compare other tools available in the wild.

연구 동기 및 목표

• 문헌에서 오랫동안 혼동되어 온 암호의 복잡도와 강도를 공식적으로 구분하고 정의하는 것.
• 실제 세계의 해독 공격에 대한 저항력을 정확하게 추정하는 데 지속적으로 도전하는 문제를 해결하는 것.
• 공격자 능력, 사전 지식, 기술의 진화(예: 무르의 법칙)를 포함하는 실용적 프레임워크를 개발하는 것.
• 표준화된 평가 메커니즘을 통해 기존의 암호 강도 평가 도구 간의 객관적 비교를 가능하게 하는 것.
• 암호 보호 시스템의 강도를 평가함으로써 안전한 저장 및 인증을 지원하는 것.

제안 방법

• 공격자 제약 조건(계산 능력, 시간, 사전 지식, 암호 저장 기능)을 명시적으로 모델링한 암호 복잡도와 강도의 공식적 정의.
• 사전 지식과 변환 규칙에 의해 제한되는 공격자 탐색 공간을 표현하기 위한 토폴로지 기반 모델 도입.
• 규칙 순열을 통한 체인 규칙 기반 복잡도 계산을 사용하여 암호 엔트로피의 하한 및 상한을 추정.
• 가설 검증을 통한 FAT-strength 개발: Eq. 7 기반의 가설 검증, H₁ (FAT-강력함) 대 H₀ (FAT-강력하지 않음), 시간-해독, 적대자 능력 s(t), 사용자 정의 T를 바탕으로 한다.
• s(t)에 무르의 법칙을 통합하여 시간에 따라 증가하는 계산 능력을 모델링함으로써 동적 강도 추정을 가능하게 한다.
• 일방향 해시 등 다양한 암호 보호 방법과 인증 시스템을 지원하기 위해 프레임워크를 일반화한다.

실험 결과

연구 질문

• RQ1 실제 공격자 행동을 반영할 수 있는 방식으로 암호의 복잡도와 강도를 공식적으로 어떻게 구분하고 정의할 수 있는가?
• RQ2 인간의 편향과 알려진 공격 기법(예: 변형된 단어 목록, 마르코프 모델)은 암호 해독 저항력에 어떤 영향을 미치는가?
• RQ3 무르의 법칙이 예측하는 것처럼 진화하는 계산 능력 하에서 시간-해독을 정확히 어떻게 추정할 수 있는가?
• RQ4 기존의 암호 강도 평가 도구를 평가하고 비교할 수 있는 통합 프레임워크를 구성할 수 있는가?
• RQ5 이 프레임워크는 암호로 보호된 정보를 저장하는 시스템의 보안을 평가하는 데 어떻게 적용될 수 있는가?

주요 결과

• 이 프레임워크는 문자 집합, 길이, 대칭성에 기반한 복잡도와 공격자 능력 및 저장 방법을 포함하는 강도를 공식적으로 분리함으로써 오랫동안 지속된 개념적 혼동을 해결한다.
• 규칙과 변환의 토폴로지로 공격자 탐색 공간을 모델링함으로써 인간의 편향을 고려한 복잡도의 하한 추정치를 제공한다.
• FAT-strength 메트릭은 Eq. 7 기반의 가설 검증을 사용하며, 적대자 계산 능력 s(t), 사용자 정의 해독 시간 T, 저장 기능 F를 통합하여 암호가 암호학적으로 강력한지 여부를 판단한다.
• 모델은 2045년경에 적대자 계산 능력이 2015년 대비 32,768배 높아질 수 있으며, 더 강력한 암호를 사용하지 않는 한 해독 시간이 크게 감소할 것으로 예측한다.
• 표준화된, 공격자 중심의 평가 메커니즘을 제공함으로써 기존의 암호 강도 측정 도구 간 비교를 가능하게 한다.
• 사용자 특정 데이터(예: 소셜 미디어)를 규칙 세트 Ξ에 통합할 수 있도록 허용함으로써 실용적 구현을 지원하고 강도 추정의 현실성을 향상시킨다.