[논문 리뷰] How Do Smart Contracts Benefit Security Protocols?

Rujia Li, Qin Wang외 2명|arXiv (Cornell University)|2022. 02. 17.

Blockchain Technology Applications and Security인용 수 8

한 줄 요약

이 논문은 스마트 계약이 보안 프로토콜을 어떻게 향상시키는지 체계적으로 분석할 수 있는 형식적 프레임워크를 제안한다. 이 프레임워크는 신뢰할 수 있는 제3자(TTP)를 보조하거나 대체하는 두 가지 핵심 역할을 식별하고, 비인정 방지, 비모순성, 비책임 전가성이라는 세 가지 핵심 보안 성질을 수립한다. 이 프레임워크는 철저한 증명과 등록 기반 암호화의 프로토타입 구현을 통해 검증되었으며, 암호화 프로토콜에서 투명성, 책임성, 탈중앙화성이 향상됨을 보여준다.

ABSTRACT

Smart contracts have recently been adopted by many security protocols. However, existing studies lack satisfactory theoretical support on how contracts benefit security protocols. This paper aims to give a systematic analysis of smart contract (SC)-based security protocols to fulfill the gap of unclear arguments and statements. We firstly investigate extit{state of the art studies} and establish a formalized model of smart contract protocols with well-defined syntax and assumptions. Then, we apply our formal framework to two concrete instructions to explore corresponding advantages and desirable properties. Through our analysis, we abstract three generic properties ( extit{non-repudiation, non-equivocation, and non-frameability}) and accordingly identify two patterns. (1) a smart contract can be as an autonomous subscriber to assist the trusted third party (TTP); (2) a smart contract can replace traditional TTP. To the best of our knowledge, this is the first study to provide in-depth discussions of SC-based security protocols from a strictly theoretical perspective.

연구 동기 및 목표

• 스마트 계약이 보안 프로토콜을 향상시키는 데 있어 이론적 기반의 부족을 해결하기 위해.
• 암호 시스템에서 스마트 계약이 가능하게 하는 일반적인 설계 패턴과 보안 성질을 식별하기 위해.
• 에테리움 블록체인의 특성에 기반한 스마트 계약 모델을 형식화하여 체계적인 분석을 가능하게 하기 위해.
• CBE와 RBE와 같은 실제 프로토콜에 스마트 계약을 통합하는 실현 가능성과 이점들을 입증하기 위해.
• 스마트 계약을 활용한 안전하고 확장 가능하며 탈중앙화된 프로토콜 설계를 위한 이론적 안내를 제공하기 위해.

제안 방법

• 에테리움 블록체인의 특성을 반영하여 지속성, 활성화, 공개 검증 가능성을 반영한 형식화된 스마트 계약 모델을 개발한다.
• 스마트 계약이 자율적인 TTP 구독자 또는 완전한 TTP 대체자로 기능하는 일반적인 프로토콜 프레임워크를 정의한다.
• 비인정 방지, 비모순성, 비책임 전가성이라는 세 가지 핵심 보안 성질을 도입하고 형식적으로 정의한다.
• 구체적인 두 프로토콜인 인증서 기반 암호화(CBE)와 등록 기반 암호화(RBE)에 프레임워크를 적용하며, 세부 문법과 보안 증명을 포함한다.
• RBE 기반 프로토타입을 구현하여 블록체인 상에서의 가스 소비와 성능 병목 현상을 평가한다.
• 형식적 검증과 시뮬레이션을 활용하여, 강화된 프로토콜이 현실적인 블록체인 제약 조건 하에서도 정의된 보안 성질을 달성하고 있음을 검증한다.

실험 결과

연구 질문

• RQ1 스마트 계약을 어떻게 형식적으로 모델링하여 보안 프로토콜에서 철저한 분석을 지원할 수 있는가?
• RQ2 기존 보안 프로토콜에 스마트 계약을 통합하기 위한 일반적인 설계 패턴은 무엇인가?
• RQ3 스마트 계약이 프로토콜 설계에서 비인정 방지나 비책임 전가성과 같은 특정 보안 성질을 어떻게 가능하게 하는가?
• RQ4 스마트 계약은 TTP에 의존하는 시스템에서 투명성, 책임성, 탈중앙화성을 어떻게 향상시키는가?
• RQ5 스마트 계약으로 TTP를 대체하거나 보조할 경우 실질적인 성능과 비용의 상충 관계는 어떠한가?

주요 결과

• 스마트 계약은 보안 프로토콜에서 두 가지 구분되는 역할을 수행할 수 있다: 기존 TTP를 돕는 자율적인 구독자 또는 탈중앙화된 기관으로 완전히 대체하는 역할.
• 형식적 프레임워크는 스마트 계약 기반 프로토콜이 비인정 방지, 비모순성, 비책임 전가성이라는 세 가지 핵심 보안 성질을 달성함을 증명한다.
• CBE 프로토콜에서는 스마트 계약이 인증서 거래를 공개 로깅함으로써 투명성과 감사 가능성을 향상시켜 중심화된 CA에 대한 의존도를 감소시킨다.
• RBE 프로토콜에서는 스마트 계약이 키 쿠레이터를 대체함으로써 단일 장애 지점의 위험을 제거하고 키 관리 작업의 공개 검증 가능성을 실현한다.
• 프로토타입 구현 결과, 가스 비용이 확장성에 제한을 주며, 높은 병합 연산 비용으로 인해 단일 계약이 약 14명의 등록 사용자만 지원할 수 있음을 확인했다.
• 블록체인 공약 지연으로 인해 성능 병목 현상이 지속되며, 전체 TTP 작업은 몇 초에서 수천 초에 이르는 시간이 소요된다.