CBDC 시스템 아키텍처의 R-ABAC 접근 권한 관리 모델 연구 = A Study on the R-ABAC Access Privilege Management Model for CBDC System Architecture

다국어 초록 (Multilingual Abstract)

This study conducted STRIDE-based threat modeling on the Bank of Korea's CBDC pilot environment "Hangang," identifying that approximately 27.5% of the total 120 threats fell under the privilege escalation category. To address these risks, we designed an R-ABAC (Role-Attribute Based Access Control) model that combines the structural simplicity of RBAC with the fine-grained attribute control of ABAC, and implemented a dual access-control mechanism incorporating both whitelisting and explicit-deny policies. The logical validity of the policy was verified using Alloy Analyzer, while its operational correctness within the execution environment was validated through OPA (Rego). Both verification processes revealed no conflicts or errors, demonstrating the feasibility and security of the R-ABAC-based policy. These findings highlight its practical applicability for future CBDC security architecture design, privacy protection policies, and anomaly detection systems.

국문 초록 (Abstract)

본 연구는 한국은행 CBDC 시험사업 '한강' 환경을 대상으로 STRIDE 기반 위협 모델링을 수행하여 총 120개 위협 중 약 27.5%가 권한 상승 범주에 해당함을 확인하였다. 이를 해결하기 위해 RBAC의 구조적 단순성과 ABAC의 세밀한 속성 제어를 결합한 R-ABAC(Role-Attribute Based Access Control) 모델을 설계하고, 화이트리스트 및 명시적 거부 정책을 함께 적용한 이중 접근제어 구조를 구현하였다. 정책의 논리적 타당성은 Alloy Analyzer로, 실행 환경에서의 정책 적합성은 OPA(Rego)로 검증하였다. 두 검증 모두 충돌이나 오류가 발견되지 않아 R-ABAC 기반 정책의 실현 가능성과 안전성을 입증하였으며, 이는 향후 CBDC 보안 아키텍처 설계, 개인정보보호 정책, 이상징후 탐지 체계 구축 등 실무적 적용 가능성을 제시한다.