💻 computer science

Efficient Pairing-Free Partially Blind Strong Designated-Verifier Signatures for Edge Environments

본 논문은 세밀한 프라이버시와 비전송성을 보장하면서도 계산 오버헤드가 낮은 새로운 페어링 프리 부분 블라인드 강한 지정 검증자 서명 방식을 제시하며, 이는 IoT 및 차량 네트워크와 같은 자원 제한적인 엣지 환경에 매우 적합하다.

원저자: Panayiotis Kalogeropoulos, Panayiotis Kotzanikolaou, Christos Pilichos

게시일 2026-09-22

📖 4 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Panayiotis Kalogeropoulos, Panayiotis Kotzanikolaou, Christos Pilichos

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

디지털 세상에서 서명은 대개 공개적인 행위입니다. 온라인에서 문서에 서명하면, 서명을 보고 적절한 키를 가진 사람이라면 누구나 그것이 당신으로부터 왔음을 확인할 수 있습니다. 이러한 투명성은 계약이나 공공 기록에는 유용하지만, 개인정보 보호 측면에서는 문제를 일으킵니다. 의사가 특정 보험 조사관에게 기밀 보고서를 보내는 상황을 상상해 보십시오. 만약 이 보고서가 표준적인 방식으로 서명된다면, 이를 가로챈 누구나 그것이 의사로부터 전송되었음을 확인할 수 있습니다. 이는 사적인 교환을 공적인 증거로 바꾸어 놓으며, 잠재적으로 민감한 세부 정보를 낯선 이들에게 노출시키거나 메시지가 의도된 수신자 너머로 공유되도록 허용할 수 있습니다. 이를 해결하기 위해 암호학자들은 지정 검증자 서명(designated-verifier signature)이라는 도구를 개발했습니다. 이 시스템에서는 메시지가 오직 한 명의 특정 인물, 즉 지정 검증자만이 그것이 진짜임을 확인할 수 있는 방식으로 서명됩니다. 다른 모든 이들에게 이 서명은 무작위적인 소음처럼 보여, 그 출처에 대한 어떠한 증거도 제공하지 않습니다. 이는 교환의 프라이버시를 보호하여, 설령 메시지가 도난당하더라도 그것이 송신자에 대한 전이 가능한 증거로 사용될 수 없도록 보장합니다.

하지만 현실 세계의 시나리오는 종종 더 미묘한 차이를 요구합니다. 때때로 메시지에 서명하는 사람은 날짜나 위치 코드와 같은 일부 공개 정보는 보아야 하지만, 구체적인 의료 진단명이나 금융 금액과 같은 사적인 내용에 대해서는 완전히 눈이 멀어야(blind) 합니다. 이를 부분적 블라인드 서명(partially blind signature)이라고 합니다. 이 두 가지 필요성, 즉 부분적으로 블라인드 처리가 되면서 동시에 단일 검증자에게만 제한되는 서명을 결합하는 것은 매우 어려운 암호학적 과제입니다. 기존의 솔루션들은 느리고 에너지를 많이 소비하는 복잡한 수학적 연산에 의존해 왔으며, 이는 자동차, 드론, 또는 스마트 센서와 같이 배터리로 작동하는 작은 장치들에는 비실용적이었습니다. 이러한 장치들은 밀리초 단위의 시간이 중요하고 전력이 부족한 환경에서 작동하는 경우가 많습니다.

피레우스 대학교의 연구팀은 이 문제를 해결하기 위해 새로운 방법을 도입하여, 프라이버시를 보존하면서도 매우 효율적인 시스템을 만들어냈습니다. 그들은 송신자가 사적인 세부 사항을 숨기면서도 공개적인 맥락을 포함할 수 있고, 동시에 오직 의도된 수신자만이 메시지를 확인할 수 있도록 하는 새로운 유형의 서명 방식을 개발했습니다. 핵심 혁신은 이전의 시도들을 괴롭혔던 무겁고 느린 수학적 계산을 피했다는 점입니다. 배터리 수명을 갉아먹고 처리 속도를 늦추는 복잡한 페어링(pairing) 연산을 사용하는 대신, 그들의 방법은 더 빠르고 표준적인 타원 곡선 수학에 의존합니다. 이를 통해 그들은 보안이나 속도를 희생하지 않고도 자원이 제한된 작은 장치에서 이러한 프라이버시 보호 기능을 실행하는 것을 가능하게 했습니다.

연구진은 현대의 엣지 디바이스(예: 교통 네트워크의 도로변 센서나 드론 군집의 통신 허브)의 능력을 나타내는 데 자주 사용되는 소형 컴퓨터인 라즈베리 파이 4(Raspberry Pi 4)에서 새로운 시스템을 테스트했습니다. 그 결과, 시스템은 약 1.5밀리초 만에 서명을 생성하고 약 0.6밀리초 만에 이를 검증할 수 있음을 발견했습니다. 이러한 시간은 충돌을 피하기 위해 자신의 위치를 방송하는 차량이나 군집 내에서 협력하는 드론과 같이 고속의 실시간 요구 사항을 처리하기에 충분히 빠릅니다. 장치가 여러 작업을 동시에 처리하기 위해 4개의 프로세서 코어를 모두 사용하는 테스트에서, 시스템은 초당 거의 6,000개의 메시지를 검증할 수 있었습니다. 이 수준의 성능은 기술이 보안과 효율성을 모두 갖춰야 하는 실세계 배포 환경에 적용될 준비가 되었음을 시사합니다.

속도뿐만 아니라, 연구진은 또한 시스템의 보안성도 검토했습니다. 그들은 이 방식이 의도한 대로 작동한다는 것을 수학적으로 증명했습니다. 즉, 서명자는 숨겨진 사적인 메시지를 알 수 없고, 지정 검증자는 서명자가 보낸 것처럼 보이는 가짜 서명을 만들 수 없으며, 서명자가 실제로 메시지를 보냈다는 사실을 제3자에게 증명할 수도 없습니다. 마지막 지점은 '비전이성(non-transferability)' 측면에서 매우 중요한데, 이는 검증자가 동일해 보이는 서명을 스스로 생성할 수 있기 때문에, 검증자가 그 서명을 가져가서 판사나 언론사에 송신자의 개입을 증명하는 데 사용할 수 없음을 의미합니다. 연구진은 또한 유사한 목표를 달성하기 위해 널리 사용되었던 이전의 인기 있는 방식에서 결함을 발견했으며, 기존의 방정식들이 주장했던 대로 작동하지 않는다는 것을 보여주었습니다. 이러한 결함이 있는 접근 방식을 버리고 새로운 페어링 프리(pairing-free) 시스템을 구축함으로써, 그들은 더 신뢰할 수 있는 토대를 마련했습니다.

이 연구의 실질적인 영향은 점점 늘어나는 연결된 장치들의 네트워크에 있어 매우 중요합니다. 자동차가 도로와 대화하고, 드론이 서로 대화하며, 의료 센서가 병원과 대화하는 세상에서 이러한 교환의 프라이버시를 보호하는 것은 필수적입니다. 차량이 자신의 위치를 방송한다면, 해커가 차량의 움직임을 추적하거나 메시지를 이용해 차량 소유자에게 누명을 씌우지 못하도록 하면서도, 오직 교통 관리 센터만이 이를 확인할 수 있는 방식으로 방송할 수 있어야 합니다. 새로운 시스템은 이러한 선택적 검증을 가능하게 하는 동시에, 이러한 장치 내부의 작은 칩에서도 감당할 수 있을 만큼 낮은 계산 비용을 유지합니다. 연구진은 자신들의 코드를 공개하여 다른 이들이 이를 테스트하고 발전시킬 수 있도록 초대했습니다. 이전 시스템의 무거운 수학적 부담을 제거함으로써, 그들은 프라이버시를 보존하는 인증이 우리 일상을 점점 더 형성하고 있는 엣지 환경에서 표준 기능이 될 수 있는 문을 열었습니다.

기술 요약: 에지 환경을 위한 효율적인 페어링 프리 부분적 블라인드 강한 지정 검증자 서명

문제 정의
전통적인 디지털 서명은 서명자의 공개 키를 가진 모든 당사자가 인증을 검증할 수 있게 하여, 민감한 시나리오에서 프라이버시를 침해할 수 있습니다. 지정 검증자 서명 체계(Designated Verifier Signature Schemes, DVSS)는 검증을 특정 수신자로 제한함으로써 비전송성(non-transferability)을 보장하여 이 문제를 해결합니다. 그러나 기존의 부분적 블라인드 지정 검증자 서명 체계(Partially Blind Designated Verifier Signature Schemes, PB-DVSS)는 자원이 제한된 에지 환경(예: IoT, VANET, UAV)에서 상당한 한계에 직면해 있습니다. Xu 등과 Cao 등의 기존 구조들은 계산 비용이 많이 드는 쌍선형 페어링(bilinear pairings)에 크게 의존하며, 종종 다회차 상호작용을 포함합니다. 또한, 저자들은 Xu 등의 기초적인 방식[12]에서 원래 명시된 대로의 정당성(correctness)을 달-성하지 못하게 만드는 근본적인 대수적 불일치를 식별했습니다. 이러한 비효율성과 정당성 문제는 저지연 및 고처리량이 필수적인 실시간 에지 시스템에서 프라이버시 보호 인증을 배포하는 것을 방해합니다.

방법론
저자들은 새로운 암호학적 프리미티브인 **부분적 블라인드 강한 지정 검증자 서명 체계(PB–SDVSS)**를 제안합니다. 이 구조는 쌍선형 페어링을 완전히 제거하고 표준 프라임 차수 타원 곡선 그룹 위에서만 작동하도록 설계되었습니다.

프로토콜 구조: 이 체계는 서명자( $S$ ), 지정 검증자( $V$ ), 사용자( $U$ )라는 세 가지 엔티티를 포함합니다. 이는 메시지 쌍 $(m, \text{info})$ 를 지원하며, 여기서 $m$ 은 (사용자에 의해 블라인딩된) 개인 메시지 구성 요소이고, $\text{info}$ 는 서명자에게 공개된 정보입니다.
대수적 핵심: 프로토콜은 표준 타원 곡선 연산(점 곱셈, 스칼라 덧셈)과 랜덤 오라클로 모델링된 해시 함수를 활용합니다.
- 서명: 사용자는 무작위 값( $u_1, u_2, d$ )을 사용하여 요청을 블라인딩하고 서명자와 상호작용합니다. 서명자는 자신의 비밀 키와 블라인딩된 챌린지를 기반으로 응답을 계산합니다. 그 후 사용자는 최종 서명 $\sigma = (x^\star, \alpha^\star, \text{sig}_1, \text{sig}_2)$ 를 형성하기 위해 응답의 언블라인딩(unblinding)을 수행합니다.
- 검증: 지정 검증자는 자신의 비밀 키를 사용하여 두 가지 조건, 즉 해시 일관성 체크( $\alpha^\star = H(m, \text{info}, x^\star)$ )와 서명 구성 요소, 서명자의 공개 키, 검증자의 공개 키를 포함하는 대수적 검증 방정식을 확인합니다.
- 시뮬레이션: 강한 DVSS의 핵심 기능은 지정 검증자가 서명자의 상호작용 없이도 유효한 서명을 시뮬레이션할 수 있다는 점입니다. 저자들은 검증자가 실제 서명과 구별 불가능한 서명을 생성할 수 있는 알고리즘을 제공하여 비전송성을 보장합니다.
보안 모델: 본 체계는 계산적 디피-헬먼(Computational Diffie–Hellman, CDH) 가정 하에 랜덤 오라클 모델(ROM)에서 보안성이 증명되었습니다. 보안 속성은 다음과 같습니다:
- 완벽한 부분적 블라인드성(Perfect Partial Blindness): 서명자는 합의된 공개 정보 $\text{info}$ 외에 개인 메시지 $m$ 에 대해 아무것도 알 수 없습니다.
- 강한 원 모어 위조 불가능성(Strong One-More Unforgeability): 공격자는 완료한 서명 상호작용의 수보다 더 많은 유효한 서명을 생성할 수 없습니다.
- 지정 검증자 비전송성(Designated-Verifier Non-Transferability): 검증자는 스스로 구별 불가능한 트랜스크립트를 생성할 수 있기 때문에 제3자에게 서명의 출처를 설득할 수 없습니다.

주요 기여

페어링 프리 효율성: 저자들은 쌍선형 페어링을 완전히 제거하고 오직 표준 타원 곡선 연산에만 의존하는 최초의 PB–SDVSS 구조를 제시합니다. 이는 계산 집약적인 기존 방식들(예: 7개의 페어링이 필요한 Xu 등, 4개가 필요한 Cao 등)과 대조됩니다.
기존 문헌에 대한 암호해석: 본 논문은 Xu 등의 방식[12]이 정당성을 달성하는 것을 방해하는 근본적인 불일치를 포함하고 있음을 보여주는 엄격한 대수적 분석을 제공하며, 성능 벤치마크에서 해당 방식을 제외하는 근거를 제시합니다.
공식 보안 프레임워크: 부분적 블라인드성과 강한 지정 검증자 특성을 결합한 통합된 PB–SDVSS의 공식 정의가 확립되었습니다. 완벽한 부분적 블라인드성, 강한 원 모어 위조 불가능성(CDH 하), 그리고 비전송성에 대한 공식적인 증명이 제공됩니다.
오픈 소스 구현 및 평가: 저자들은 완전한 오픈 소스 구현을 제공하며, 전형적인 IoT 에지 게이트웨이를 대표하는 Raspberry Pi 4에서 광범위한 실험적 평가를 수행합니다.

실험 결과
평가는 NIST P-256 및 기타 타원 곡선을 사용하여 Raspberry Pi 4 (ARM Cortex-A72)에서 수행되었습니다.

성능: NIST P-256 기준으로, 본 체계는 약 1.5 ms의 서명 시간과 0.6 ms의 검증 시간을 달성합니다.
처리량: 싱글 코어 시스템은 초당 약 656회의 서명 연산과 1,544회의 검증 연산을 지원합니다. 4코어 병렬 실행 시, 처리량은 초당 약 2,607회의 서명과 5,984회의 검증으로 증가합니다.
비교: 동일한 하드웨어에서 구현된 페이링 기반 베이스라인(Cao, Sharma, Zhang–Wen)과 비교했을 때, 제안된 방식은 상당한 속도 향상을 보여줍니다. 예를 들어, OpenSSL 환경에서 PB–SDVSS는 Zhang–Wen 베이스라인에 비해 최대 7.5배 높은 서명 처리량과 27.5배 높은 검증 처리량을 달성합니다.
견고성: 검증 비용은 유효하지 않거나 잘못된 형식의 서명을 처리할 때도 안정적으로 유지되어, 잘못된 입력을 통한 서비스 거부 공격에 대한 저항성을 나타냅니다.
오버헤드: NIST P-256에 대한 서명 크기는 130 바이트(1040 비트)로 매우 콤팩트하여 대역폭이 제한된 환경에 적합합니다.

의의 및 주장
본 논문은 PB–SDVSS가 프라이버시가 중요하고 자원이 제한된 환경을 위한 매우 적합한 암호학적 빌딩 블록이라고 주장합니다. 쌍선형 페어링이라는 계산적 병목 현상을 제거함으로써, 본 체계는 다음과 같은 시나리오에서 미세한 메시지 프라이버시와 비전송적 인증을 가능하게 합니다:

UAV 군집(UAV Swarms): 리더가 지상 관제 센터를 위해 블라인딩된 군집 데이터의 집합을 서명하는 경우.
차량 통신 네트워크(VANETs): 위치 프라이버시를 유지하면서 신뢰할 수 있는 노변 기지국(RSU)이 안전 비콘을 검증할 수 있도록 지원하는 경우.
IoT 및 에지 컴퓨팅: 의료용 IoT, 스마트 홈 및 탈중앙화 시스템을 위한 경량 인증 제공.

저자들은 본 체계가 V2I 통신과 같이 안전이 중요한 애플리케이션에서 요구되는 엄격한 지연 시간 예산(흔히 < 50 ms) 내에 부합함을 강조합니다. 저자들은 이론적 보안 증명과 실질적인 임베디드 성능의 결면이 차세대 에지 인증 시스템을 위한 본 체계의 효용성을 입증한다고 결론짓습니다. 향후 과제로 실제 VANET 및 UAV 군집 환경으로의 통합과 비위임성(non-delegatability)을 위한 증명 전달 변형 연구를 제시하였습니다.

유사한 논문