Functional Requirements for Decentralized and Self-Sovereign Identities

논문 요약: 탈중앙화 및 주권적 신원 (DI/SSI) 을 위한 기능적 요구사항 도출

1. 문제 정의 (Problem)

• 중앙 집중식 신원 관리의 한계: Optus 및 Ticketmaster 와 같은 대규모 데이터 유출 사고와 감시 우려로 인해 중앙 집중식 신원 관리 시스템에 대한 신뢰가 떨어지고 있습니다.
• DI/SSI 도입의 장벽: 탈중앙화 신원 (DI) 과 주권적 신원 (SSI) 은 사용자에게 데이터 통제권과 프라이버시 보호를 제공하지만, 실제 도입은 제한적입니다.
• 평가 방법론의 부재: 기존 DI/SSI 시스템의 평가는 주로 비기능적 요구사항 (NFR, 예: 프라이버시, 탈중앙화, 자율성 등) 에 의존합니다. 그러나 NFR 은 추상적이어서 측정 가능한 지표가 부족하고, 평가 결과가 모호하며 재현 (Reproducibility) 이 어렵습니다.
• 연구 격차: 기존 문헌은 NFR 을 기능적 수준으로 체계적으로 전환 (Operationalization) 하거나, NFR 과 시스템 기능 간의 명확한 매핑을 제공하지 못했습니다. 이로 인해 시스템이 약속한 품질을 실제로 충족하는지 검증하기 어렵습니다.

2. 방법론 (Methodology)

저자들은 NFR 을 구체적이고 측정 가능한 기능적 요구사항 (FR) 으로 전환하기 위해 4 단계의 체계적인 방법론을 제시했습니다. 이 과정은 요구사항 분류 [42] 와 Tropos 방법론 [17-19] 에 기반합니다.

1. 역량 (Capabilities) 및 제약조건 (Constraints) 식별:
   • 데이터 소유자 (Data Owner), 발급자 (Issuer), 검증자 (Verifier) 등 각 행위자 (Actor) 의 역량을 식별하고, 이를 기존 디자인 패턴 [10, 30] 과 매핑합니다.
   • 시스템에 새로운 역량을 추가하지 않는 요구사항 (예: 비용, 보안, 표준 준수 등) 은 '제약조건'으로 분류하고, 나머지는 '역량'으로 정의합니다.
2. 기능 모델 (Functional Model) 개발:
   • 행위자 간의 논리적 관계를 포착하는 기능 모델을 구축합니다. 이는 시스템이 '어떻게' 기능을 수행하는지를 설명합니다.
   • 식별된 역량을 디자인 패턴에 매핑하여 모델의 타당성을 검증합니다.
3. 술어 (Predicates) 및 공리 (Axioms) 공식화:
   • 기능 모델을 형식 논리 (Formal Logic) 로 표현하기 위해 술어 (예: owns, fulfills, presents) 와 공리 (Axioms) 를 정의합니다.
   • 이를 통해 행위자 간의 상호작용과 서비스 수행 여부를 'Yes/No'로 명확히 판단할 수 있는 논리적 기반을 마련합니다.
4. 기능적 요구사항 (FR) 도출 및 형식화:
   • 각 NFR 에 대해 법적 의무 (GDPR, eIDAS 등), 프로세스, 시스템 활동 유형 (자율적 활동, 사용자 상호작용, 인터페이스 요구사항) 을 분석합니다.
   • 표준 템플릿을 사용하여 모호함을 제거하고 명확한 FR 문장을 생성합니다.

3. 주요 기여 (Key Contributions)

• 체계적인 NFR-to-FR 전환 프레임워크: 추상적인 SSI 원칙 (예: 자율성, 동의, 존재) 을 구체적인 시스템 기능으로 변환하는 첫 번째 체계적인 방법론을 제시했습니다.
• 형식적 기능 모델 및 논리 기반: 술어와 공리를 도입하여 DI/SSI 시스템의 행동을 형식적으로 정의하고, 행위자 간의 관계를 논리적으로 추론할 수 있는 기반을 마련했습니다.
• 포괄적인 기능적 요구사항 (FR) 세트 도출: 24 개의 NFR 을 기반으로 총 39 개의 기능적 요구사항을 도출했습니다. 이는 데이터 소유자, 발급자, 검증자, 시스템, 지갑 (Wallet) 등 모든 행위자의 역할을 포함합니다.
• 법적 요구사항 통합: GDPR 및 eIDAS 규정을 FR 도출 과정에 명시적으로 반영하여, 실제 배포 시 법적 준수를 보장할 수 있도록 했습니다.
• 검증 및 정제: 도출된 FR 에 대해 완전성, 일관성, 비중복성, 추적 가능성 등의 기준을 적용하여 검증하고, 모호한 항목을 수정하거나 분할하여 정밀도를 높였습니다.

4. 결과 (Results)

• 구체적인 요구사항 세트: 39 개의 검증된 FR 이 생성되었으며, 이는 DI/SSI 시스템의 핵심 운영 (신원 생성, 자격증명 발급, 검증, 동의 관리 등) 을 포괄합니다.
  • 예시 (동의 NFR6): "시스템은 데이터 소유자에게 자격증명 처리 목적을 명확한 언어로 알리고, 명시적인 동의를 얻어야 하며, 동의를 철회할 수 있는 기능을 제공해야 한다."
• 행위자별 역량 매핑: 데이터 소유자, 발급자, 검증자, 시스템, 지갑 각각이 수행해야 할 구체적인 기능 (예: 키 생성, 자격증명 저장, 검증 요청 등) 이 정의되었습니다.
• 디자인 패턴의 한계 발견: 기존 디자인 패턴이 '동의 (Consent)', '자율성 (Autonomy)', '존재 (Existence)'와 같은 중요한 SSI 원칙을 충분히 반영하지 못함을 발견했습니다.
• DI 와 SSI 의 구분: 기능적 관점에서는 DI 와 SSI 가 동일한 기능을 가지지만, SSI 는 모든 기능에 '탈중앙화 제약조건'이 적용된다는 점을 명확히 했습니다.

5. 의의 및 향후 과제 (Significance & Future Work)

• 재현 가능한 평가 프레임워크의 기초: 이 연구는 DI/SSI 시스템의 품질 (보안, 프라이버시, 탈중앙화 등) 을 정량적이고 재현 가능하게 평가할 수 있는 토대를 마련했습니다.
• 신뢰성 향상: 모호한 NFR 평가 대신 구체적인 FR 기반 평가를 통해 사용자와 개발자 간의 신뢰를 높이고, 실제 세계에서의 도입을 촉진할 수 있습니다.
• 향후 연구 방향:
  • 도출된 FR 을 기반으로 자동화된 평가 프레임워크를 설계하여 요구사항 충족 여부 및 위반 사항을 검증할 계획입니다.
  • 기존 디자인 패턴에 매핑되지 않았던 '동의', '자율성' 등의 요구사항을 반영한 새로운 디자인 패턴을 개발할 예정입니다.
  • DI 와 SSI 의 핵심 차이인 '탈중앙화' 요구사항의 형식적 검증을 심화할 것입니다.

결론적으로, 이 논문은 DI/SSI 분야의 추상적인 원칙을 구체적인 공학적 요구사항으로 전환함으로써, 시스템의 투명성과 검증 가능성을 높이는 중요한 이정표를 제시했습니다.