💻 computer science

SpexPay: A Privacy-Preserving Pay-As-You-Go System for Dynamic Spectrum Sharing

본 논문은 BBS+ 자격 증명, 연결 불가능한 가명, 그리고 스마트 계약을 활용하여 엣지 하드웨어에서 낮은 지연 시간과 비용으로 정밀하고 신원 은닉이 가능한 스펙트럼 사용을 가능하게 하는, 동적 스펙트럼 공유를 위한 프라이버시 보존형 및 감사 가능한 종량제 프레임워크인 SpexPay를 제시한다.

원저자: Mohaimin Al Barat, Hexuan Yu, Shaoyu Li, Yang Xiao, Yi Shi, Eric W. Burger, Y. Thomas Hou, Wenjing Lou

게시일 2026-07-21

📖 4 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Mohaimin Al Barat, Hexuan Yu, Shaoyu Li, Yang Xiao, Yi Shi, Eric W. Burger, Y. Thomas Hou, Wenjing Lou

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

우리 주변의 공기가 우리가 좋아하는 노래부터 긴급 재난 문자까지 모든 것을 실어 나르는 보이지 않는 라디오파의 투명한 강물로 가득 차 있다고 상상해 보십시오. 수십 년 동안 이 강물은 대기업이나 정부가 소유한 개인용 운하와 같았으며, 장기 임대 계약으로 묶여 있었습니다. 하지만 세상이 점점 더 연결됨에 따라, 이 운하들은 점점 혼잡해지고 있으며 어떤 부분은 비어 있는 반면 어떤 부분은 꽉 막혀 있습니다. 이를 해결하기 위해 규제 기관들은 "동적 스펙트럼 공유(Dynamic Spectrum Sharing)"라는 시스템을 통해 운하를 개방하고 있습니다. 이는 누구나 다른 사람의 배와 충돌하지만 않는다면, 몇 분 동안 강의 아주 작은 조각을 빌려 쓸 수 있는 시스템입니다.

하지만 여기에는 함정이 있습니다. 조각을 빌리려면 보통 중앙 관리자에게 당신이 누구인지, 어디에 있는지, 무엇을 하고 있는지를 정확히 알려줘야 합니다. 이것은 마치 익명으로 자전거를 빌리려는데, 대여점에 자신의 운전면허증, 집 주소, 그리고 취미 목록까지 보여줘야 하는 것과 같습니다. 이는 특히 군함이나 과학자들처럼 움직임을 비밀로 유지해야 하는 민감한 사용자들에게 프라이버시의 악몽을 초래합니다. 더욱이, 이 작은 조각들에 대해 결제하는 현재 방식은 번거롭고, 종종 관리자가 당신에게 과다 청구하지 않을 것이라는 믿음에 의존합니다. 질문은 이것입니다: 당신의 이름이나 위치를 파동을 세는 사람에게 밝히지 않고도, 당신이 사용한 만큼의 물값만 지불할 수 있는 시스템을 구축할 수 있을까요?

이것이 바로 SpexPay의 연구자들이 해결하고자 했던 퍼즐입니다. 그들은 익명성을 유지하면서도 모두가 공정하게 대가를 받을 수 있도록 하는 새로운 방식의 "종량제(pay-as-you-go)" 라디오파 처리 방법을 제안합니다. 이것을 라디오파를 위한 마법 같은 자판기라고 생각해 보십시오. 음료를 살 권리가 있다는 것을 증명하는 특별하고 깨지지 않는 디지털 티켓을 제시할 뿐, 기계는 당신의 얼굴을 절대 볼 수 없습니다.

SpexPay가 현실 세계에서 작동하는 방식은 다음과 같습니다:

2단계 신원 확인
먼저, 보안 건물에 들어가기 위해 두 종류의 열쇠가 필요하다고 상상해 보십시오. 첫 번째 열쇠는 "규제 기관"(예: 정부)으로부터 오며, 그곳에 있을 자격이 있다는 라이선스를 증명합니다. 두 번째 열서는 "상업적 발행 기관"(예: 이동통신사)으로부터 오며, 당신의 계좌에 사용할 물값을 지불할 돈이 있다는 것을 증명합니다. SpexPay는 BBS+ 서명이라는 영리한 암호화 기술을 사용합니다. 이를 통해 당신은 실제 키를 보여주지 않고도 "대역폭 관리자(Band Manager)"에게 두 가지 키를 모두 가지고 있음을 보여줄 수 있습니다. 이는 마치 보안 요원에게 이름이나 생일을 밝히지 않고도, 당신이 성인이며 VIP 패스를 가지고 있다는 것을 증명하는 홀로그램을 보여주는 것과 같습니다.

마법의 "심박수(Heartbeat)" 체인
일단 내부로 들어오면, 당신이 사용하는 파동의 시간에 대해 비용을 지불해야 합니다. 예전 방식이라면 5분마다 종이 영수증에 서명해야 했을 텐데, 이는 느리고 너무 많은 정보를 노출합니다. SpexPay는 **해시 체인(Hash Chain)**이라 불리는, 마치 마법의 구슬 줄과 같은 것을 사용합니다.

시작하기 전에, 당신은 각 구슬이 이전 구슬과 수학적으로 연결된 긴 구슬 줄을 만듭니다. 당신은 가장 첫 번째 구슬(뿌리)을 지불 대상자에게 주고, 나머지 구슬들은 직접 보관합니다.
몇 분마다, 당신은 체인의 다음 구슬을 대역폭 관리자에게 보냅니다.
관리자는 당신의 새 구슬이 이전 구슬과 일치하는지 즉시 확인할 수 있습니다. 일치한다면, 그들은 당신이 여전히 그곳에 있으며 파동을 사용 중이라는 것을 알게 됩니다.
결정적으로, 관리자는 구슬을 조작할 수 없습니다. 만약 관리자가 당신이 5분만 사용했는데 1시간 동안 사용했다고 주장하며 앞서가려 한다면, 수학적 계산이 맞지 않아 시스템이 그들을 거부할 것입니다. 이를 통해 당신은 정확히 사용한 만큼만 지불하게 되며, 관리자가 속임수를 쓸 수도 없습니다.

자동화된 은행
관리자가 실제로 대금을 지급받고 당신이 감당할 수 없는 청구서 때문에 곤란해지는 것을 방지하기 위해, SpexPay는 블록체인 상의 **스마트 컨트랙트(Smart Contract)**를 사용합니다. 이것은 돈 가방을 들고 있는 심판과 같은 디지털 에스크로 계좌라고 생각하십시오.

세션이 시작되기 전, 상업적 발행 기관이 심판의 가방에 돈을 넣습니다.
당신이 "심박수(구슬)"를 보낼 때마다, 관리자는 이를 수집합니다.
관리자가 대금을 받고자 할 때, 최신 구슬을 심판에게 보여줍니다. 심판은 수학적 검증을 거쳐 구슬이 진짜임을 확인하고, 해당 특정 시간 동안 발생한 정확한 금액을 자동으로 지급합니다.
만약 관리자가 당신이 보내지 않은 구슬에 대해 결제를 요청하면, 심판은 수학적 오류를 발견하고 지급을 거절합니다.

실제로 작동할까요?
연구자들은 단순히 꿈만 꾼 것이 아니라, 이를 테스트하기 위해 완전한 작동 프로토타입을 구축했습니다. 그들은 일반 컴퓨터와 더불어, 실제 라디오파를 사용하는 작은 기기에서도 실행 가능한지 확인하기 위해 취미용 프로젝트에 자주 쓰이는 작고 저렴한 컴퓨터인 **라즈베리 파이 5(Raspberry Pi 5)**에서 시스템을 실행했습니다.

속도: 신원을 확인하고 증명을 생성하는 전체 과정은 약 150밀리초가 걸렸습니다. 이는 눈 깜빡임보다 빠른 속도로, 사용자가 지연을 전혀 느끼지 못할 수준입니다.
비용: 블록체인에서 결제를 실행하는 데 드는 비용은 약 603,000 "가스(gas)" 단위였으며, 이는 세션당 약 0.90달러로 환산됩니다. 높은 보안과 프라이버시를 제공하는 시스템치고는 매우 저렴합니다.
프라이버시: 시스템은 상업적 발행 기관이 보유한 별도의 프라이게이트 리스트를 통해 나중에 규제 기관이 감사를 수행할 수 있도록 허용하면서도, 대역폭 관리자로부터 사용자의 실제 신원을 성공적으로 숨겼습니다.

요약하자면, SpexPay는 우리가 프라이버시를 희생하지 않고도 정확히 사용한 만큼 지불하는 공정하고 개방적인 라디오파 시장을 가질 수 있음을 보여줍니다. 이는 적절한 디지털 잠금장치, 마법 같은 수학적 줄, 그리고 자동화된 심판의 조합을 통해 우리가 공기 중의 보이지 않는 강물을 안전하고 비밀스럽게 공유할 수 있음을 입증합니다.

기술 요약: SpexPay

문제 정의

동적 스펙트럼 공유(Dynamic Spectrum Sharing, DSS)는 5G, Wi-Fi 6/7 및 위성 애플리케이션의 성장을 수용하는 데 필수적입니다. 시민 대역 무선 서비스(CBRS)에서 사용되는 스펙트럼 액세스 시스템(SAS)과 같은 기존 구현은 액세스 관리를 위해 중앙 집중식 관리자에 의존합니다. 이러한 시스템은 스펙트럼 활용도를 높이기 위해 종량제(pay-as-you-go, PAYG) 모델을 도입하기 시작했으나, 심각한 프라이버시 및 책임성 결함을 겪고 있습니다.

기존의 PAYG 프레임워크에서 사용자는 등록, 인증 및 상세 액세스 요청을 상업적 밴드 매니저(Band Manager, BM)에게 제출해야 합니다. 이 과정은 신원, 정밀 위치, 전송 시간, 전력, 대역폭 및 미션 프로필을 포함한 민감한 운영 메타데이터를 제3자에게 노출합니다. 군용 레이더나 전파 천문대와 같은 핵심 사용자들에게 이러한 노출은 적대 세력이나 상업적 엔티티가 이동 궤적과 운영 리듬을 재구성할 수 있게 하는 추론 공격의 위험을 초래합니다. 또한, 현재의 시스템은 고정된 구독이나 일괄 인보이스에 의존하며, 검증 가능한 사용 연계형 결제 방식이 부족하여 암호학적 트랜잭션 책임성을 결여하고 있습니다. 사용자의 운영 프라이버시를 침해하지 않으면서 사용량 기반 소비에 따른 재무적 의무를 이행할 수 있는 시스템을 설계하는 데에는 중대한 격차가 존재합니다.

방법론

SpexPay는 프라이버시 보존형 암호화 프리미티브와 블록체인 기반 스마트 컨트랙트를 통합하여, 감사 가능하고 연결 불가능하며 사용량이 측정되는 결제 프레임워크를 구축함으로써 이러한 과제를 해결합니다. 이 시스템은 퍼블릭 블록체인 상에서 4가지 주요 행위자(규제 발행자(Type-A), 상업적 발행자(Type-B), 밴드 매니저(BM), 사용자 장치)가 참여하는 2계층 크리덴셜 모델로 작동합니다.

핵심 아키텍처 구성 요소

2계층 검증 가능한 크리덴셜 (Two-Tiered Verifiable Credentials):
- 규제 크리덴셜 ( $V_{CA}$ ): Type-A 발행자(예: FCC)가 발행하며, 사용자의 실제 신원을 드러내지 않고도 규제 자격(예: 우선 순위 액세스 라이선스 상태)을 인증합니다.
- 상업적 크리덴셜 ( $V_{CB}$ ): Type-B 발행자(예: MNO)가 발행하며, 사용자를 특정 세션 파라미터(가격, 제한, 세션 ID)에 결속시키고 에스크로 스마트 컨트랙트에 자금을 예치합니다.
- 프라이버시 메커니즘: 두 크리덴셜 모두 선택적 공개(selective disclosure)를 지원하기 위해 BBS+ 서명을 활용합니다. 사용자는 유효한 서명의 보유 여부와 숨겨진 장치 식별자의 일관성을 증명하기 위해 **영지식 증명(ZKP)**을 생성하지만, 이 과정에서 BM에게 식별자 자체를 드러내지는 않습니다.
사용량 측정을 위한 해시 체인 하트비트 (Hash-Chained Heartbeats for Usage Metering):
- 비용이 많이 드는 구간별 서명 없이도 정밀하고 연속적인 과금을 가능하게 하기 위해, 장치는 길이 $L$ (세션 제한)을 가진 순방향 보안 **해시 체인(hash chain)**을 생성합니다.
- 장치는 무작위 리프(leaf) $y_L$ 로부터 루트 $y_0$ 까지 체인을 계산하며, 이 루트는 세션 시작 전에 Type-B 발행자에게 커밋됩니다.
- 운영 중에 장치는 세션 ID, 인덱스 $i$ , 해시 값 $y_i$ 를 포함하는 **하트비트( $HB_i$ )**를 전송합니다.
- BM은 마지막으로 검증된 상태로부터 전달받은 값을 역방향으로 재구성함으로써 이를 검증합니다. 이는 재전송 공격(replay resistance)을 방지하며, BM이 개별 전송을 모두 저장할 필요 없이 누적된 하트비트 수에 대해 대금을 청구할 수 있도록 합니다.
스마트 컨트랙트 결제 (Smart Contract Settlement):
- Type-A가 배포한 에스크로 스마트 컨트랙트는 Type-B가 예치한 자금을 보유합니다.
- BM은 세션 ID와 최신 유효 하트비트 해시를 포함하여 컨트랙트에 청구를 제출합니다.
- 컨트랙트는 마지막 청구된 인덱스와 새로운 인덱스 사이의 해시 체인 간격을 결정론적으로 검증하고, 비례적인 지급액을 계산하여 BM에게 토큰을 전송합니다.
- 이 메커니즘은 **비부인 결제(non-repudiable settlement)**를 보장합니다. 즉, BM은 검증된 사용량에 대해서만 정확히 지급받으며, 해시 함수의 역상 저항성(preimage resistance) 덕분에 과다 청구나 재전송 공격은 수학적으로 불가능합니다.
감사 및 폐기 (Auditability and Revocation):
- BM과 블록체인은 의사(pseudonym)와 세션 ID만을 보게 되지만, Type-B 발행자는 세션 ID를 실제 장치 신원과 매핑하는 오프체인 레지스트리를 유지합니다. 이를 통해 규제 기관은 블록체인이나 BM이 실제 신원을 알지 못하는 상태에서도 특정 사용자를 감사하거나 분쟁을 해결할 수 있습니다.
- 공유된 폐기 목록(revocation list)을 통해 BM은 악의적인 사용자의 세션을 거부할 수 있습니다.

주요 기여

본 논문은 차세대 스펙트럼 경제를 위한 최초의 PAYG 시스템으로서, 다음을 동시에 달성하는 SpexPay를 제시합니다:

정밀한 사용량 기반 마이크로 결제: 벌크 구독이 아닌 실제 스펙트럼 활용도에 결합된 결제를 강제합니다.
프라이버시 보존형 액세스 제어: BBS+ 서명과 ZKP를 갖춘 2계층 크리덴셜 시스템을 활용하여, BM에게 실제 신원을 밝히지 않고 사용자를 인증합니다.
검증 가능한 책임성: 연결 불가능한 액세스 인증, 해시 체인을 통한 검증 가능한 사용량 측정, 그리고 온체인 상의 비부인 결제를 달성합니다.
도메인 특화 통합: 기존의 익명 결제 또는 크리덴셜 시스템이 지원하지 못하는 독특한 요구 사항(연속적 사용 증명, 자격-결제 결합, 규제 감독)을 갖춘 조절된 DSS를 다룹니다.

실험 결과

저자들은 전체 프로토타입을 구현하였으며, 표준 하드웨어 및 엣지급 장치(Raspberry Pi 5)에서 성능을 평가하였습니다.

지연 시간(Latency): 시스템은 낮은 엔드 투 엔드 지연 시간을 보여줍니다. 표준 리눅스 머신에서 크리덴셜 발행, 증명 생성 및 검증을 위한 총 계산 시간은 약 150 ms입니다. Raspberry Pi 5에서는 증명 생성에 189 ms가 소요되어, 엣지급 하드웨어에 적합함을 확인했습니다.
온체인 비용: 스마트 컨트랙트 결제는 효율적입니다. 전체 세션(300개의 하트비트 포함)은 평균 약 603K gas의 가스 비용을 발생시키며, 이는 60일 평균 이더리움 가스 가격 기준 약 $0.90에 해당합니다. Claim 함수는 트랜잭션당 청구되는 하트비트 수( $\Delta$ )에 따라 선형적으로 확장되는 반면, 설정 및 종료 작업은 상수로 유지됩니다.
확장성: 암호화 작업은 오프체인에서 최적화되며, 온체인 작업은 상수 크기의 상태 업데이트와 해시 검증으로 제한되어 고빈도 미터링을 처리할 수 있는 능력을 보장합니다.

의의 및 주장

본 논문은 SpexPay가 특히 법적으로 프라이버시가 보장되어야 하는 공공 부문 사용자(예: 군사, 전파 천문학)가 포함된 진화하는 DSS 시장에 대한 실질적인 솔루션을 제공한다고 주장합니다. 신원과 결제를 분리하고 해시 체인 커밋먼트를 활용함으로써, 시스템은 운영 보안을 타협하지 않으면서도 규제 기관이 사용량을 감사하고 분쟁을 해결할 수 있는 강력한 연결 불가능성을 달성합니다.

저자들은 자신들의 설계가 단순한 범용 프라이버시 도구가 아니라, 익명 크리덴셜, 암호화된 사용 증명, 그리고 프로그래밍 가능한 결제 강제가 결합된 도메인 특화 통합 모델임을 강조합니다. 이러한 통합은 스펙트럼을 더 가치 있게 추출하면서도 운영 보안을 해치지 않고 셀룰러, IoT 및 센싱 애플리케atures의 혁신을 가속화할 수 있는 PAYG 기반 공유 경제의 확장성에 필수적입니다. 시스템은 프라이버시, 감사 가능성, 실시간 강제의 상충하는 요구를 균형 있게 맞추며 실제 환경 배포가 가능하다는 것을 입증하였습니다.