기술 요약: 양자 소프트웨어 보안의 성능 지표(Figures of Merit)에 대하여

문제 정의

양자 소프트웨어는 이론적 연구에서 엔지니어링 실무로 빠르게 전환되고 있으며, 다중 테넌트 기반의 클라우드 기반 양자 서비스(QaaS) 스택을 통해 점점 더 많이 배포되고 있습니다. 커뮤니티는 성능(예: Quantum Volume, CLOPS)을 위한 성숙한 성능 지표(Figures of Merit, FoM)를 확립하였고, 소프트웨어 품질 측면에서도 (ISO/IEC 25010과 정렬된 회로 복잡도, 이해 가능성 등) 품질 지표가 부상하고 있으나, 양자 소프트웨어 보안은 여전히 측정되지 않았으며 표준화되지 않은 상태로 남아 있습니다.

현재의 보안 지표들은 파편화되어 있고 서로 호환되지 않습니다. 총 변동 거리(Total Variation Distance, TVD) 및 기능적 손상 정도(Degree of Functional Corruption, DFC)와 같은 기존 지표들은 특정 회로 난독화 기법을 위해 *임시방편적(ad hoc)*으로 도입되었습니다. 이들은 서로 다른 척도와 정의를 사용하여 비교가 불가능합니다. 결과적으로, 어떤 양자 소프트웨어 도구가 다른 도구보다 더 안전한지 판단할 수 있는 공유된 기준이 없으며, 광범위한 QaaS 파이프라인(예: 인증, 다중 테넌트 격리, 책임 추적성) 전반에 걸쳐 보안을 정량화할 수 있는 프레임워크도 존재하지 않습니다. 이는 성능과 품질은 표준화되어 있지만, 보안 지표는 부재하거나 비균일한 "3단계 측정 격차(three-layer measurement gap)"를 생성합니다.

방법론

본 논문은 다음 세 가지 주요 방법론적 단계를 통해 이 격차를 해소하기 위한 구조적 접근 방식을 제안합니다:

1. 측정 격차의 특성화: 저자들은 세 가지 계층에 걸친 현재의 지표 상태를 분석합니다:

   • 계층 1 (성능): 성숙하고 표준화되었으며 도구에 의해 지원됨.
   • 계층 2 (소프트웨어 품질): 양자 프로그램을 위해 고전적 지표(예: 코드 라인 수, 순환 복잡도)를 적응시키며 부상 중임.
   • 계층 3 (보안): 파편화되었거나 부재함. 현재 지표는 특정 난독화 기법에 국한되어 있으며 통일된 프레임워크가 부족함.

2. 보안 성능 지표(S-FoM)의 제안: 저자들은 S-FoM을 선언된 공격 모델에 대해 명시된 프로토콜을 통해 계산되고 공통된 [0,1] 척도로 정규화된, 보안 특성 또는 오버헤드를 측정하는 양으로 정의합니다. 저자들은 후보 S-FoM 세트를 다음과 같이 구성합니다:

   • ISO/IEC 25010:2023 보안 하위 특성: 기밀성(Confidentiality), 무결성(Integrity), 인증(Authenticity), 부인 방지/책임 추적성(Non-repudiation/Accountability), 그리고 저항성(Resistance).
   • QaaS 파이프라인 매핑: 6개 단계에 지표를 정렬함: 개발 환경(S1), 인증 및 제출(S2), 클라우드 오케스트레이션 및 컴파일(S3), 양자 하드웨어 실행(S4), 결과 반환 경로(S5), 하이브리드 반복 루프(S6).
   • 측정 성숙도: 지표를 확립됨(Established, E), 적응 가능함(Adaptable, A), 제안됨(Proposed, P)으로 분류.

3. 벤치마킹 루브릭 개발: S-FoM을 비교 가능하게 만들기 위해, 본 논문은 3단계 루브릭을 제안합니다:

   • 공격 모델 선언: 재현성을 보장하기 위해 모든 S-FoM은 특정 공격자(역량, 접근 권한, 단계)에 대해 보고되어야 합니다.
   • 정규화: 원시 지표 값($m_i$)은 min-max 스케일링을 사용하여 방향 교정 점수($\hat{m}_i \in [0,1]$)로 매핑됩니다. 이는 "낮을수록 좋은" 지표(예: DFC)를 처리하기 위해 스케일을 반전시켜, 1이 가장 강력한 보안을 나타내도록 합니다.
   • 가중 합산: 합성된 양자 소프트웨어 보안 태세(Quantum Software Security Posture, QSSP) 점수는 정규화된 S-FoM의 가중 합으로 계산됩니다. 저자들은 약점을 가리는 현상("최약점의 법칙" 문제)을 피하기 위해, QSSP를 점수 벡터 및 기하 평균(보수적인 대안)과 함께 게시해야 한다고 언급합니다. 또한, **보안 오버헤드(Security Overhead, SO)**를 별도로 추적하여 보안 대 자원 비용의 파레토 최적(Pareto-frontier) 분석을 허용합니다.

주요 기여

• 보안 측정 격차 식별: 본 논문은 성숙한 성능 벤치마크와 파편화된 보안 지표 사이의 불일치를 명시적으로 규명합니다.
• 구조화된 S-FoM 분류 체계: ISO/IEC 25010 하위 특성과 QaaS 파이프라인에 따라 정리된 포괄적인 후보 보안 지표 세트를 제안하며, 확립된, 적응 가능한, 제안된 지표를 구분합니다.
• 표준화된 벤치마킹 루브릭: 서로 다른 지표를 정규화하고 이를 하나의 비교 가능한 QSSP 점수로 집계하는 프로토콜을 정의하며, 보안 오버헤드와의 트레이드오프를 처리하는 메커니즘을 포함합니다.
• 예시적 재분석: 본 논문은 두 가지 발표된 난독화 기법(Dummy CNOT 게이트 삽입 및 무작위 가역 게이트 기법)을 재분석합니다. 저자들은 이들의 원래 보고 방식(호환되지 않는 TVD 정의 사용)이 비교 불가능함을 입증합니다. 제안된 루브릭을 적용함으로써, 이 지표들은 정규화되어 기밀성 하위 점수에 대한 유효하고 해석 가능한 비교를 가능하게 합니다.

결과 및 발견

• 현재 상태: 분석 결과, 현재 양성적 보안 연구는 기밀성(특히 S3 컴파일 단계)에 집중되어 있으며, 이것이 유일하게 잘 도구화된 속성임을 밝혀냈습니다. 책임 추적성(출처 완결성, 감사 로그 변조 방지)과 같은 다른 중요한 속성들은 "제안됨"(P)으로 분류되어, 양자 특화 지표가 부족함을 나타냅니다.
• 기존 지표의 불호환성: 재분석을 통해, 정의와 척도가 서로 다르기 때문에 표준화 없이는 TVD와 같은 지표를 서로 다른 연구 간에 비교할 수 없음을 확인했습니다.
• 비교 가능성 복원: 제안된 루브릭의 적용은 흩어져 있고 비교 불가능했던 숫자들을 구조화되고 해석 가능한 비교로 성공적으로 변환하여, 실무자가 통일된 보안 태세를 바탕으로 도구를 평가할 수 있게 합니다.

의의

본 논문은 양자 소프트웨어 보안이 성능과 동일한 수준의 주의와 표준화가 필요하다고 주장합니다. 성능이 합의된 성능 지표(예: Quantum Volume)를 통해 측정되는 것과 마찬가지로, 보안 역시 명시적인 보안 성능 지표(S-FoM)를 필요로 합니다.

본 연구의 의의는 양자 소프트웨어 스택(QSS)의 보안 인지 벤치마킹(security-aware benchmarking)을 향한 첫걸음을 제공하는 데 있습니다. 질적인 주장 대신 구조화되고 정규화된 프레임워크를 사용함으로써, 본 논문은 실무자들이 다음을 수행할 수 있도록 하는 것을 목표로 합니다:

1. 양자 프로그램에 대한 보안 방어력을 정량화함.
2. 서로 다른 양자 소프트웨어 도구 및 난독화 기법을 동일한 선상에서 비교함.
3. 보안 강도와 운영 오버헤드(예: 게이트 깊이, 실행 시간) 사이의 트레이드오프 결정을 정보에 기반하여 내림.

저자들은 이 프레임워크가 기초적인 단계이며, 향후 실제 양자 프로그램(예: Qiskit, Cirq)에 대해 이러한 S-FoM을 계산할 수 있는 실제 벤치마킹 도구를 개발하고, 현재 측정되지 않은 지표들에 대한 프로토콜을 정의할 계획이라고 결론짓습니다.