[논문 리뷰] Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins

Vincenzo Botta, Laura Fusco외 2명|arXiv (Cornell University)|2021. 09. 08.

Blockchain Technology Applications and Security참고 문헌 24인용 수 5

한 줄 요약

이 논문은 신뢰할 수 있는 디지털 트윈을 통해 물리적 제품의 진위성을 보장하기 위해 블록체인 기반 공급망 시스템을 제안한다. 보안 다자간 계산(secure multi-party computation)과 이상 기능(ideal functionalities)을 활용하여 종단 간 검증 가능한 추적성을 실현함으로써, 특히 식품 추적 분야에서 위조 및 데이터 불일치 문제를 줄인다.

ABSTRACT

A major problem in blockchain-based supply chain management is the potential unreliability of digital twins when considering digital representations of physical goods. Indeed, the use of blockchain technology to trace goods is obviously ineffective if there is no strong correspondence between what is physically exchanged and the digital information that appears in blockchain transactions. In this work, we propose a model for strengthening the supply chain management of physical goods by leveraging blockchain technology along with a digital-twin verification feature. Our model can be instantiated in various scenarios and we have in particular considered the popular case of food traceability. In contrast to other models known in the literature that propose their own ad-hoc properties to assess the robustness of their supply chain management systems, in this work we use the formalism of secure computation, where processes are described through generic and natural ideal functionalities.

연구 동기 및 목표

• 블록체인 기반 공급망에서 디지털 트윈의 신뢰성 부족 문제를 해결한다. 여기서는 체인 내 데이터가 물리적 제품을 반영하지 않을 수 있다.
• 형식적 검증 메커니즘을 통해 물리적 제품과 그 디지털 트윈 간의 강력한 대응 관계를 확보한다.
• 중앙 집중적 기관에 의존하지 않고도 투명성, 불변성, 신뢰성을 확보할 수 있는 강력하고 감사 가능한 공급망 추적 프레임워크를 제공한다.
• 민감한 사업 정보를 위한 프라이버시 보존 데이터 처리를 가능하게 하되, 제품 기원의 공개 검증성은 유지한다.
• 보안 계산 원리를 활용해 체계를 형식적으로 정의함으로써, 악성 조건 하에서도 보안성과 정확성을 입증한다.

제안 방법

• 보안 다자간 계산(SMPC)의 이상 기능을 사용해 공급망을 모델링하고, 검증 가능한 추적성을 위한 신뢰할 수 있는 기준 모델을 정의한다.
• 물리적 제품이 블록체인에 저장된 고유 식별자와 연결되며, 점검 데이터는 불변 거래로 기록되는 디지털 트윈 검증 메커니즘을 도입한다.
• 신뢰할 수 있는 등록 기관(Reg)과 분산형 FP 스캐너 발행 기관이 제품의 디지털 신원과 물리적 지문을 발행하고 검증한다.
• 동형 암호화와 기여도 기반 기법을 활용해 비즈니스 데이터를 온체인 외부에 저장하면서도, 해시를 통한 암호학적 기여도를 통해 온체인 검증 가능성을 유지한다.
• 즉각적이고 최종적이며 전 세계적으로 이용 가능한 거래 기록 보장을 보장하는 레지스터 기능($\mathcal{F}_{Ledger}$)을 정의하여 체계 일관성의 기초를 마련한다.
• 실제 시스템에 대한 악성 공격을 시뮬레이션하고, 이를 이상 세계에서의 등가 공격로 매핑함으로써, 시뮬레이션 기반 증명을 통해 보안성을 입증한다.

실험 결과

연구 질문

• RQ1 블록체인 기반 공급망에서 물리적 제품과 디지털 트윈 간의 대응 관계는 어떻게 형식적으로 검증할 수 있는가?
• RQ2 어떤 메커니즘이 블록체인에 등록되고 추적되는 제품이 정당하고 허가된 제품임을 보장하여 위조 및 위조 방지에 기여하는가?
• RQ3 민감한 사업 데이터(예: 구매 수량, 원자재 사용량)는 어떻게 보호하면서도 공개 감사성과 무결성 검증을 유지할 수 있는가?
• RQ4 특히 일부 참가자가 악의적인 행동을 할 경우, 체계는 어떻게 보안성과 정확성을 유지할 수 있는가?
• RQ5 제안된 모델은 실제 사례, 예를 들어 식품 추적과 같이 구현 가능한가? 기존의 블록체인 기반 공급망 시스템과 비교해 볼 때 어떤가?

주요 결과

• 제안된 시스템은 시뮬레이션 기반 증명을 통해 형식적 보안성을 확보하였으며, 실제 시스템에서의 모든 공격이 이상 세계에서 모방 가능하다는 것을 입증함으로써 높은 강건성을 확보하였다.
• 모델은 검증 가능한 디지털 트윈과 블록체인 추적성을 성공적으로 통합하여, 데이터 위조 위험과 물리적 제품과 디지털 기록 간의 불일치 위험을 크게 감소시켰다.
• 동형 암호화와 기여도 기반 기법을 통해 비밀 데이터는 온체인 외부에 저장되지만, 암호학적 기여도를 통해 온체인 검증이 가능해졌다.
• 신뢰할 수 있는 기관의 역할을 분산시켜 탈중앙화된 신뢰를 실현함으로써 단일 신뢰 기관에 대한 의존도를 감소시켰다.
• 이 프레임워크는 식품 추적과 같이 제품의 진위성과 무결성이 중요한 다양한 공급망 시나리오에 적용 가능하게 유연하다.
• 보안 모델은 정리 6.1을 통해 형식적으로 증명되었으며, 제안된 이상 기능 하에서 실제 세계와 이상 세계 간의 구분 불가능성을 입증하였다.