NEBULA: A Language - Independent Specification for Opaque Rotating Refresh Tokens

인터넷을 거대한, 북적이는 도시라고 상상해 보세요. 당신은 그 안의 서로 다른 건물에 들어가기 위해 자신이 누구인지 증명해야 합니다. 보통 당신은 몇 분 동안 출입할 수 있는 임시 배지(액세스 토큰)를 소지합니다. 만약 더 오래 머물러야 한다면, 그 배지를 마스터 키(리프레시 토큰)로 교환하여 필요할 때마다 새로운 임시 배지를 얻을 수 있습니다. 이 시스템은 당신이 즐겨 찾는 소셜 미디어 앱부터 은행에 이르기까지 도처에 존재합니다. 하지만 여기에는 함정이 있습니다. 그 마스터 키는 믿을 수 없을 정도로 강력합니다. 만약 도둑이 이 키를 훔친다면, 그들은 며칠 또는 몇 주 동안 당신인 척하며, 당신이 전혀 눈치채지 못하는 사이에 조용히 당신의 데이터를 훔치거나 돈을 쓸 수 있습니다.

이를 막기 위해 보안 전문가들은 하나의 규칙을 세웠습니다: "키를 사용하기만 하지 말고, 사용할 때마다 교체하라." 이것은 **로테이션(rotation)**이라고 불립니다. 이것은 마치 열쇠를 돌릴 때마다 새로운 열쇠를 뱉어내고 기존의 것은 즉시 파괴하는 마법 자물쇠와 같습니다. 만약 도둑이 이미 파괴된 옛날 키를 사용하려고 시도하면, 시스템은 "이봐! 누군가 죽은 키를 사용하려고 하고 있어! 모든 것을 잠가버려!"라고 비명을 질러야 합니다. 하지만 현재 이 시스템에 대한 규칙 책은 엄격한 매뉴얼이라기보다 모호한 제안에 가깝습니다. 그것은 "키를 교체해야 한다"라고 말하지만, 정확히 어떻게 자물쇠를 만들어야 하는지, 두 사람이 정확히 같은 밀리초에 자물쇠를 돌리려고 할 때 어떻게 해야 하는지, 혹은 메시지가 우편물 도중에 유실되었을 때 어떻게 처리해야 하는지에 대해서는 설명하지 않습니다. 이러한 모호함 때문에 서로 다른 기업들이 각기 다른 방식으로 자물쇠를 만들고 있으며, 때로는 이러한 차이가 도둑들이 아무도 모르게 빠져나갈 수 있는 비밀 뒷문(backdoor)을 만들어내기도 합니다.

여기서 NEBULA라는 논문이 등장합니다. 마테오 테오도리(Matteo Teodori)가 이끄는 연구진은 추측하는 것을 멈추고, 회전하는 키를 구축하기 위한 명확하고 단계적인 지침서를 쓰기로 했습니다. 그들은 NEBULA라는 규격을 만들었는데, 이는 당신이 어떤 프로그래밍 언어를 사용하든 동일하게 작동하는 "마법 자물쇠"를 위한 보편적인 설계도와 같습니다.

이 논문은 이 키들을 생각하는 새로운 방식을 소개합니다. NEBULA는 하나의 복잡한 코드 문자열 대신, 키를 두 부분으로 나눕니다: 셀렉터(Selector)(어떤 자물쇠를 찾아야 하는지 알려주는 공개 ID 카드)와 베리파이어(Verifier)(당신이 실제로 키를 소유하고 있음을 증명하는 비밀 비밀번호)입니다. 시스템은 현장에서 복잡한 수학 연산을 통해 비밀번호를 확인하는 대신, 서버에 안전하게 저장된 비밀 목록과 비밀번호가 일치하는지 확인합니다. 이는 도둑이 비밀 목록 전체를 훔치더라도, 그 목록이 역추적이 불가능한 방식으로 암호화되어 있기 때문에 키를 위조하기 훨씬 어렵게 만듭니다.

이 논문의 가장 흥激한 부분은 **동시성(concurrency)**이라는 까다로운 문제를 해결하는 방식입니다. 동일한 마스터 키를 사용하는 두 사람이 정확히 동시에 접근한다고 상상해 보세요. 많은 기존 시스템에서 이러한 혼란은 자물쇠를 고장 내어, 하나의 유효한 키 대신 두 개의 유효한 키를 만들어내며, 결과적으로 "키를 교체하라"는 규칙이 완전히 작동하지 않게 만듭니다. NEBULA는 "비교 후 설정(compare-and-set)"이라는 엄격한 규칙으로 이 문제를 해결합니다. 시스템은 "이 키가 여전히 활성화되어 있는가?"를 확인하고, 답이 '예'일 때만 키를 변경합니다. 만약 두 사람이 동시에 시도한다면, 한 명만 승리하고 다른 한 명은 정중하게 다시 시도하라는 안내를 받습니다. 이는 시스템이 소리 없이 망가지는 것을 방지합니다.

저자는 단순히 규칙을 쓴 것에 그치지 않고, 이 자물쇠의 모든 버전이 정확히 동일하게 작동한다는 것을 증명하기 위해 파이썬(Python), 자바(Java), 러스트(Rust)와 같은 10가지 서로 다른 프로그래밍 언어로 10가지 버전의 자물쇠를 직접 구축했습니다. 그들은 "인터넷이 느리다면?", "이미 변경된 키를 사용하려고 시도한다면?"과 같은 38가지의 다양한 시나리오가 담긴 거대한 테스트 파일을 만들고 이를 10가지 버전 모두에 실행했습니다. 결과는 어떠했을까요? 모든 버전이 모든 테스트를 통과했습니다.

이 논문은 이러한 접근 방식이 리프레시 토큰을 훔치는 것을 훨씬 덜 위험하게 만든다고 주장합니다. 만약 도둑이 키를 훔치더라도, 실제 소유자가 키를 사용하는 순간 도둑의 키는 쓸모없게 되며 시스템은 소유자에게 경고를 보냅니다. 설령 도둑이 키를 먼저 사용하더라도, 실제 소유자가 나타나 그들을 차단하기 전까지 아주 짧은 시간 동안만 머무를 수 있습니다. 또한 논문은 이 시스템이 미래의 슈퍼컴퓨터가 깨뜨릴 수 있는 복잡한 수학에 의존하지 않기 때문에 미래를 대비하고 있다고 언급합니다. 그러나 저자는 이러한 보증이 기계적으로 검증된 것이 아니라 설계에 기반한 논리적 주장임을 명시하며, 완벽한 시스템은 없다는 점을 분명히 밝힙니다. 예를 들어, 서버 자체가 해킹당한다면 시스템은 무력화될 수 있습니다.

요약하자면, NEBULA는 새로운 종류의 마법을 발명하는 것이 아닙니다. 그것은 마법의 트릭을 수행하는 정확한 방법을 마침내 합의함으로써, 아무도 실수로 문을 열어두는 일이 없도록 만드는 것입니다. 이는 모호한 제안을 정밀하고 테스트를 거친, 매우 견고한 표준으로 탈바꿈시킵니다.