[논문 리뷰] Asynchronous Reconfiguration with Byzantine Failures

П. Н. Кузнецов, Andrei Tonkikh|SPIRE - Sciences Po Institutional REpository|2020. 05. 27.

Distributed systems and fault tolerance인용 수 4

한 줄 요약

이 논문은 악성 레플리카와 클라이언트가 존재하는 상황에서도 일致성과 가용성을 보장하기 위해 향후 보안 디지털 서명을 사용하는 이국적 복제 시스템을 위한 베즈란티언 결함 내성 재구성 메커니즘을 제시한다. 재구성과 합의를 분리하고 검증 가능한 증거를 활용함으로써, 오래된 읽기와 서비스 거부 공격을 방지하며, 신뢰할 수 있는 관리자나 구성의 전역 순서 없이도 안전하고 동적 재구성을 가능하게 한다.

ABSTRACT

Replicated services are inherently vulnerable to failures and security breaches. In a long-running system, it is, therefore, indispensable to maintain a reconfiguration mechanism that would replace faulty replicas with correct ones. An important challenge is to enable reconfiguration without affecting the availability and consistency of the replicated data: the clients should be able to get correct service even when the set of service replicas is being updated. In this paper, we address the problem of reconfiguration in the presence of Byzantine failures: faulty replicas or clients may arbitrarily deviate from their expected behavior. We describe a generic technique for building asynchronous and Byzantine fault-tolerant reconfigurable objects: clients can manipulate the object data and issue reconfiguration calls without reaching consensus on the current configuration. With the help of forward-secure digital signatures, our solution makes sure that superseded and possibly compromised configurations are harmless, that slow clients cannot be fooled into reading stale data, and that Byzantine clients cannot cause a denial of service by flooding the system with reconfiguration requests. Our approach is modular and based on dynamic Byzantine lattice agreement abstraction, and we discuss how to extend it to enable Byzantine fault-tolerant implementations of a large class of reconfigurable replicated services.

연구 동기 및 목표

• 이국적 결함 상황에서도 가용성과 일관성을 유지하는 이국적 복제 서비스를 위한 재구성 메커니즘 설계.
• 이국적 클라이언트 또는 손상된 레플리카로 인한 오래된 읽기나 서비스 거부 공격 방지.
• 구성의 전역 순서 또는 신뢰할 수 있는 관리자에 대한 의존성 제거.
• 향후 보안 디지털 서명과 검증 가능한 증거를 사용하여 안전하고 동적 재구성 가능.
• 재구성 가능한 복제 서비스의 이국적 결함 내성 구현을 위한 모듈러 기반 제공.

제안 방법

• 시스템은 재구성 조율을 위한 핵심 원리로 동적 이국적 레이티스 합의(DBLA) 추상화를 사용한다.
• 클라이언트는 현재 구성에 대한 합의가 필요 없이 재구성 및 데이터 작업을 수행한다.
• 구성 업데이트를 시간 순서로 정렬된 암호학적으로 검증 가능한 증거에 연결하기 위해 향후 보안 디지털 서명을 사용한다.
• 각 프로세스는 구성의 국지적 이력을 유지하고, 향후 보안 키로 업데이트에 서명함으로써 '나는 아직 여기에 있다' 공격과 '느린 독자' 공격을 방지한다.
• 쿼럼 기반 서명을 사용하여 검증 가능한 증거를 구성함으로써, 정상 프로세스는 오직 정당한 출력만 수락한다.
• 하위 수준 컴포넌트의 출력을 VerifyOutputValue 함수를 사용해 연결하며, 증거를 재귀적으로 검증함으로써 무결성을 유지한다.

실험 결과

연구 질문

• RQ1 이국적 결함 상황에서 이국적 비동기 시스템에서 재구성이 가용성과 일관성을 유지할 수 있는가?
• RQ2 이국적 클라이언트 또는 레플리카로 인한 서비스 거부 공격이나 오래된 데이터 읽기 공격을 어떻게 방지할 수 있는가?
• RQ3 구성의 전역 순서나 신뢰할 수 있는 관리자에 의존하지 않고도 재구성을 달성할 수 있는가?
• RQ4 향후 보안 서명을 어떻게 사용하여 키 유출 이후에도 장기적인 일관성을 확보할 수 있는가?
• RQ5 이국적 결함 내성 재구성 가능한 복제 서비스를 구축하기 위해 필요한 최소한의 추상화 집합은 무엇인가?

주요 결과

• 제안된 프로토콜은 향후 보안 서명 덕분에 대체된 구성이나 손상된 구성이 해로워지지 않음을 보장한다.
• 느린 클라이언트는 증거가 시간 순서로 정렬된 구성에 암호학적으로 묶여 있으므로 오래된 데이터를 읽는 데 속임을 당할 수 없다.
• 이국적 클라이언트는 모든 재구성 요청이 검증 가능한 증거를 동반해야 하므로 시스템을 서비스 거부 공격으로 악용할 수 없다.
• 시스템은 현재 구성에 대한 합의가 필요 없이 재구성을 달성함으로써 고가용성을 확보한다.
• 향후 보안 서명의 사용은 신뢰할 수 있는 키 관리나 구성 순서의 전역 순서가 필요 없음을 의미한다.
• 프로토콜은 모듈러이며, 이국적 결함 상황에서 재구성 가능한 복제 서비스의 광범위한 클래스를 확장하여 구현할 수 있다.