[논문 리뷰] Encrypted control for networked systems -- An illustrative introduction and current challenges

Moritz Schulze Darup, Andreea B. Alexandru외 2명|arXiv (Cornell University)|2020. 10. 01.

Smart Grid Security and Resilience참고 문헌 83인용 수 5

한 줄 요약

이 논문은 클라우드 기반 및 분산 제어 아키텍처에서의 프라이버시 보호를 위한 네트워크 시스템을 위한 암호화된 제어를 소개한다. 힐버트 암호화와 보안 다자간 계산을 활용하여 민감한 데이터의 안전한 계산 및 통신을 가능하게 한다. 주요 기여는 제어 알고리즘의 암호화된 표현을 유도하기 위한 체계적인 프레임워크로, 계산 오버헤드, 양자화, 시스템 설계와 같은 과제를 강조하며, 강력하고 확장 가능하며 실세계 적용 가능한 구현을 위한 행동 촉구를 한다.

ABSTRACT

Cloud computing and distributed computing are becoming ubiquitous in many modern control systems such as smart grids, building automation, robot swarms or intelligent transportation systems. Compared to "isolated" control systems, the advantages of cloud-based and distributed control systems are, in particular, resource pooling and outsourcing, rapid scalability, and high performance. However, these capabilities do not come without risks. In fact, the involved communication and processing of sensitive data via public networks and on third-party platforms promote, among other cyberthreats, eavesdropping and manipulation of data. Encrypted control addresses this security gap and provides confidentiality of the processed data in the entire control loop. This paper presents a tutorial-style introduction to this young but emerging field in the framework of secure control for networked dynamical systems.

연구 동기 및 목표

• 공개 네트워크를 통해 암호 해독 및 조작 위험이 존재하는 클라우드 기반 및 분산 제어 시스템에서의 증가하는 보안 위험을 해결한다.
• 네트워크 동적 시스템에서 전통적인 제어 체계에 대한 프라이버시 보존 대안으로서의 암호화된 제어에 대한 종합적인 튜토리얼을 제공한다.
• 표준 제어 알고리즘을 암호화된 형태로 전환할 때 발생하는 주요 과제—계산 오버헤드, 통신 부담, 양자화 영향—를 식별하고 분석한다.
• 스마트 그리드, 교통, 산업 자동화와 같은 핵심 인프라를 위한 안전하고 강력하며 실용적인 암호화된 제어 시스템 개발을 촉진한다.
• 암호화된 제어 분야의 발전을 위한 열린 문제와 구체적인 연구 방향을 제시하여 향후 연구를 자극한다.

제안 방법

• 모든 단계—전송, 저장, 계산—에서 제어 데이터를 암호화하기 위해 힐버트 암호화(예: Paillier 암호체계)를 적용하여 제어 루프 전반에 걸쳐 기밀성을 확보한다.
• 클라우드 서버와 같은 신뢰할 수 없는 제3자 플랫폼에서도 중간 데이터를 드러내지 않고 암호화된 처리를 가능하게 하기 위해 보안 다자간 계산(MPC) 기법을 활용한다.
• 수학적 연산을 프라이버시 보존 방식으로 재표현하여 표준 제어 알고리즘(예: 모델 예측 제어)을 등가의 암호화된 표현으로 변환한다.
• 암호화 기반 원리와 제어 이론 원리를 통합하여 제어 성능을 유지하면서도 기밀성을 확보하며, 암호화에서 발생하는 노이즈 및 오차 전파 문제를 다룬다.
• 고정점 양자화와 비균일 양자화 방식이 암호화된 제어 시스템의 안정성과 정확성에 미치는 영향을 분석한다.
• 가짜 데이터 주입 및 서비스 거부 공격과 같은 활성 공격에 대비하기 위해 암호화된 제어와 무결성 및 가용성 중심 메커니즘을 융합한 하이브리드 아키텍처를 제안한다.

실험 결과

연구 질문

• RQ1 표준 제어 알고리즘은 어떻게 암호화된 데이터에서 작동하도록 재구성할 수 있으며, 제어 성능과 안정성을 유지할 수 있는가?
• RQ2 실세계 제약 조건(지연, 패킷 손실 등) 하에서 암호화된 제어 시스템의 프라이버시, 계산 비용, 통신 부담 간의 상충 관계는 무엇인가?
• RQ3 양자화 오차와 암호화 노이즈는 암호화된 제어 시스템의 안정성과 강건성에 어떤 영향을 미치며, 이를 어떻게 완화할 수 있는가?
• RQ4 실제 산업 응용 분야에서의 암호화된 제어 구현을 가능하게 하는 데 가장 효과적인 암호화 기법(예: 완전 힐버트 암호화 또는 보안 MPC)은 무엇인가?
• RQ5 암호화된 제어는 기존의 보안 및 안전 메커니즘과 어떻게 통합되어 핵심 인프라 시스템에서 기밀성과 무결성을 동시에 확보할 수 있는가?

주요 결과

• 암호화된 제어는 클라우드 서버와 같은 신뢰할 수 없는 플랫폼에서 처리되는 동안조차도 시스템 상태, 제어 조작, 모델 파rameter와 같은 민감한 데이터의 종단 간 기밀성을 보장한다.
• Paillier와 같은 힐버트 암호화의 사용은 암호문 크기를 크게 증가시켜, 예를 들어 2048비트 키 기준 4096비트로 증가하여 통신 및 저장 오버헤드가 증가한다.
• 현재의 암호화된 컨트롤러는 주로 부분 힐버트 암호화(Paillier, ElGamal) 또는 단순한 MPC 프로토콜에 의존하며, 고급 완전 힐버트 암호화 기법을 사용하는 경우는 소수에 불과하다.
• 기존의 구현은 통신 지연, 패킷 손실, 센서 및 액추에이터의 계산 제약 조건과 같은 실세계 문제를 간과한 이상화된 조건을 가정하는 경우가 많다.
• 양자화 및 노이즈 조건 하에서 암호화된 제어 시스템의 강력한 안정성 증명은 여전히 열린 과제이며, 비선형 및 모델 예측 제어기의 경우 尤히 그렇다.
• 스마트 그리드, 빌딩 자동화, 로봇 스웜과 같은 분야에서 암호화된 제어의 실세계 적용은 가능하며, 데이터 민감도가 성능 오버헤드를 정당화할 수 있는 경우 특히 그렇다.