GAUGE: A Formal Framework for Measuring Cryptographic Security under Heterogeneous Adversary Cost Models

디지털 세계에서 우리의 비밀을 지키는 안전은 해킹하기가 매우 어려운 수학적 자물쇠에 달려 있습니다. 수십 년 동안 전문가들은 이 자물쇠의 강도를 보통 '비트'로 표현되는 특정 숫자로 측정하려고 노력해 왔습니다. 이 숫자는 공격자가 코드를 깨기 위해 투입해야 하는 시간과 컴퓨팅 파워 측면에서의 노력을 알려주는 것으로 의도되었습니다. 그러나 이 단일 숫자는 결정적인 복잡성을 숨기고 있습니다. 즉, 그 가치는 우리가 그 노력을 어떻게 계산하느냐에 전적으로 달려 있다는 점입니다. 만약 우리가 컴퓨터 메모리를 사용하는 비용이 무료라고 간주한다면, 어떤 자물쇠는 매우 강력해 보일 수 있습니다. 하지만 우리가 메모리 사용 비용이 비싸다고 결정한다면, 동일한 자물쇠가 갑자기 약해 보일 수도 있습니다. 정부 표준 기구나 보안 기관과 같은 다양한 조직들은 비용을 계산하는 서로 다른 방식을 사용합니다. 그들이 이처럼 서로 다른 방식을 사용할 때, 어떤 자물쇠가 더 안전한지에 대해 서로 다른 답을 내놓게 되며, 이는 어떤 시스템을 신뢰하고 언제 새로운 것으로 교체해야 하는지에 대한 혼란을 야기합니다.

새로운 연구는 GAUGE라는 프레임워크를 도입하여 이 문제를 바라보는 방식을 바꿉니다. 모든 보안 시스템을 하나의 경직된 숫자로 강제하는 대신, 연구진은 보안을 게임의 규칙에 따라 변화하는 유연한 프로필로 취급합니다. 자원의 가격에 따라 지형이 변하는 지도라고 상상해 보십시오. 어떤 가격 체계 아래에서는 안전해 보이는 경로가 다른 가격 체계 아래에서는 위험해질 수 있습니다. 이러한 전체적인 풍경을 그려냄으로써, 연구팀은 서로 다른 보안 시스템들이 정확히 어디에서, 왜 교차하는지를 볼 수 있습니다. 그들은 미래를 대비해 준비 중인 많은 새로운 고급 자물쇠들의 경우, "어느 것이 더 안전한가?"라는 질문에 대한 답이 단순한 사실이 아니라는 것을 발견했습니다. 그것은 전적으로 당신이 어떤 회계 방식을 선택하느냐에 달려 있는 질문입니다.

연구진은 이 새로운 방법을 최신 세대의 암호 표준, 특히 미래의 양자 컴퓨터의 공격을 견뎌낼 수 있도록 설계된 표준들에 적용했습니다. 그들은 ML-KEM이라고 불리는 특정적이고 널리 사용되는 시스템을 AES라는 고전적이고 잘 알려진 시스템과 비교했습니다. 공격을 실행하는 데 걸리는 시간만을 계산하는 미국 국립표준기술연구소(NIST)의 표준 규칙 하에서는, 새로운 시스템이 고전적인 시스템보다 약간 더 약한 것으로 나타났습니다. 그러나 연구진이 메모리 비용을 포함하도록 규칙을 조정했을 때(이는 일부 유럽 보안 기관이 중요하게 여기는 요소입니다), 새로운 시스템은 갑자기 훨씬 더 강력해졌습니다. 이 연구는 메모리의 가치를 시간에 비해 단 4.5%만 조정해도 순위가 완전히 뒤바뀔 수 있다는 것을 증명했습니다. 이것은 실수나 계산 오류가 아니라, 이러한 시스템이 작동하는 방식에 관한 근본적인 기하학적 사실입니다. 연구진은 모든 사람을 위한 단 하나의 완벽한 숫자는 결코 진실을 포착할 수 없음을 보여주었는데, 왜냐하면 시스템들이 관점에 따라 실제로 서로 교차하기 때문입니다.

이 문제를 해결하기 위해, 팀은 이러한 관계들을 분류하는 방법을 개발했습니다. 그들은 어떤 자물쇠가 규칙에 상관없이 다른 자물쇠보다 엄격하게 더 나은지, 특정 조건 하에서만 더 나은지, 혹은 두 자물쇠가 경로를 교차하기 때문에 단순히 비교 불가능한지를 알려줄 수 있는 시스템을 만들었습니다. 새로운 양자 내성 자물쇠들에 대해 연구는 이들이 기존의 고전적 대응물들과 비교 불가능한 경우가 많다는 것을 발견했습니다. 이는 하나를 다른 하나보다 선택하는 문제가 객관적으로 더 강한 자물쇠를 찾는 문제가 아니라, 어떤 비용 모델을 신뢰할 것인지에 대한 의식적인 선택의 문제임을 의미합니다. 이 연구는 이러한 교차를 검증할 수 있는 수학적 인증서를 제공하며, 이를 통해 표준 기구들은 자신들의 이견이 정확히 어디에 있는지 확인하고, 각자의 선택된 프레임워크 내에서 양측 모두가 수학적으로 옳을 수 있음을 이해할 수 있게 합니다.

단순히 자물쇠를 비교하는 것을 넘어, 이 프레임워크는 미래를 계획하는 데 도움을 줍니다. 연구진은 지난 20년 동안 해커들이 코드를 깨는 능력이 얼마나 빠르게 향상되어 왔는지에 대한 역사를 살펴보았습니다. 그들은 특정 유형의 수학적 문제들에 대해, 이를 깨기 위해 필요한 노력이 특정 기간 동안 매년 거의 10비트씩 감소했다는 것을 발견했습니다. 이 데이터를 사용하여, 그들은 "해커들이 얼마나 빨리 발전할 것인가"라는 불확실성과 "어떤 비용 모델이 옳은가"라는 불확실성을 분리하는 리스크 모델을 구축했습니다. 이를 통해 조직은 비밀을 얼마나 안전하게 보관할 수 있는지 계산할 수 있습니다. 예를 들어, 한 회사가 문서를 5년 동안 보호해야 한다면, 연구는 위험을 최소화하기 위해 구형과 신형 자물쇠를 혼합하는 특정 전략을 제안합니다. 하지만 30년 동안 보호해야 한다면, 수학적 결과는 동일한 전략이 불충분할 수 있으며, 훨씬 더 일찍 새로운 기술로 전환해야 함을 보여줍니다.

연구진은 측정값이 정확한지 확인하기 위해 실제 하드웨어 시뮬레이션에서도 이 아이디어들을 테스트했습니다. 그들은 시뮬레이션된 양자 컴퓨터에서 코드를 깨는 비용이 기계의 물리적 게이트 수를 계산할 때와 걸리는 시간을 계산할 때 어떻게 변하는지 실험했습니다. 이 시뮬레이션은 안전의 순서가 계산 방식에 따라 실제로 역전될 수 있음을 확인하여, 이론적 예측을 입증했습니다. 연구진은 모든 도구, 데이터 및 검증 단계를 7초 이내에 모든 표와 결과를 재현할 수 있는 공개 툴셋으로 패키징했습니다. 이러한 투명성은 결과가 단순한 이론적 연습이 아니라, 누구나 보안 주장을 감사하는 데 사용할 수 있는 실용적인 도구임을 보장합니다.

궁극적으로, 이 작업은 어떤 자물쇠가 최고인지 우리에게 말해주지 않습니다. 대신, 질문을 던지는 더 나은 방법을 제공합니다. 이 연구는 서로 다른 보안 기관 사이의 논쟁이 흔히 누가 맞고 틀린지의 문제가 아니라, 그들이 어떤 버전의 현실을 측정하고 있는지에 대한 문제임을 드러냅니다. 게임의 규칙을 명시함으로써, 이 프레임워크는 정책 입안자와 엔지니어들이 전체 그림을 볼 수 있게 해줍니다. 이제 그들은 보안 수준에 대한 이견이 종종 자원을 어떻게 가치 있게 평가하느냐에 대한 이견이라는 것을 이해할 수 있으며, 그러한 지식을 바탕으로 결정을 내릴 수 있습니다. 그 결과, 불확실성이 단일 숫자의 뒤에 숨겨지는 것이 아니라 모두가 볼 수 있도록 명확하게 제시되는, 디지털 안전에 대한 더 명확하고 정직한 대화가 가능해졌습니다.