AXON: A ROS 2 RMW with Shared-Memory/QUIC Transport and QKD/ML-KEM Key Establishment
이 논문은 공유 메모리 및 QUIC 전송을 통해 성능을 최적화하는 동시에, 하이브리드 양자 내성 키 교환을 활용하는 구성과 양자 키 분배(QKD)로부터 유도된 사전 공유 키를 활용하는 구성이라는 두 가지 서로 다른 페일 클로즈(fail-closed) TLS 1.3 설정을 통해 보안을 강화하는 Rust 기반의 ROS 2 미들웨어 구현체인 AXON을 소개한다.
원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기
로봇 공학의 세계에서 기계는 고립되어 생각하지 않습니다. 그들은 함께 생각합니다. 자율 주행 차량 군단, 공장 팔, 또는 드론 군집은 서로 다른 소프트웨어 구성 요소들 사이의 지속적이고 고속인 대화에 의존합니다. 이를 가능하게 하기 위해 엔지니어들은 '미들웨어'라고 불리는 표준 언어를 사용하는데, 이는 서로 다른 팀이 작성한 코드가 메시지를 주고받을 수 있도록 해주는 범용 번역기 역할을 합니다. 수년 동안 이 번역의 표준은 산업용 데이터 분산 시스템을 기반으로 구축되어 왔으며, 컴퓨터 간의 모든 연결을 마치 컴퓨터들이 같은 방에 있는지 아니면 수 마일 떨어져 있는지와 관계없이 동일한 종류의 네트워크 문제인 것처럼 취급해 왔습니다. 그러나 이러한 일률적인 접근 방식은 병목 현상이 되고 있습니다. 로봇이 더 복로운 환경으로 이동함에 따라, 그들의 통신 방식도 변화해야 합니다. 로봇은 단일 컴퓨터 칩을 가로지르는 메시지와 무선 링크를 통해 이동하는 메시지의 차이를 인식할 수 있는 시스템이 필요하며, 현재뿐만 아니라 현재의 암호 체계를 깨뜨릴 수 있는 양자 컴퓨터의 잠재력을 포함하여 미래에 존재할 위협으로부터 안전한 시스템이 필요합니다.
레온 대학교(Universidad de León)의 연구진은 이러한 문제들을 해결하기 위해 AXON이라는 새로운 시스템을 구축했습니다. 모든 로봇 통신을 하나의 경직된 파이프를 통해 강제하는 대신, AXON은 데이터가 가는 목적지에 따라 작업을 분리합니다. 만약 로봇 시스템의 두 부분이 동일한 컴퓨터에서 실행 중이라면, AXON은 '공유 메모리(shared memory)'라는 방법을 사용하여 데이터가 네트워크 스택을 통해 전달되는 느리고 낭비적인 단계를 거치지 않고 컴퓨터 자체의 메모리를 통해 직접 정보를 교환하도록 합니다. 이는 마치 두 사람이 확성기로 소리를 지르는 대신 같은 방 안에서 서로에게 직접 속삭이는 것과 같습니다. 데이터가 드론에서 제어 스테이션으로 이동하는 것처럼 서로 다른 컴퓨터 사이를 이동해야 할 때, AXON은 QUIC이라는 현대적이고 고속인 전송 프로토콜로 전환합니다. 이 프로토콜은 오래된 방식보다 무선 네트워크의 무질서하고 예측 불가능한 특성을 더 잘 처리하도록 설계되어, 연결이 불안정하더라도 메시지가 빠르고 순서대로 도착하도록 보장합니다.
그러나 AXON의 가장 중요한 혁신은 보안을 처리하는 방식에 있습니다. 연구진은 로봇 군단이 지도나 카메라 피드와 같은 민감한 데이터를 운반하며, 이러한 시스템이 종종 수년간 운영된다는 점을 인식했습니다. 이는 공격자가 오늘 암호화된 데이터를 훔친 뒤 미래의 기술로 이를 해독하기를 기다릴 수 있는 위험을 초래합니다. 이를 방지하기 위해 AXON은 연결을 잠그는 두 가지 별도의 방식을 제공하며, 두 방식 모두 보안 요구 사항을 충족하지 못할 경우 약하고 안전하지 않은 방법으로 되돌아가는 대신 단순히 연결을 거부하는 '페일 클로즈드(fail-closed)' 방식으로 설계되었습니다. 첫 번째 옵션은 표준 수학적 잠금 장치와 새로운 양자 내성 잠금 장치를 결합한 하이브리드 키 교환을 사용합니다. 이를 통해 미래의 양자 컴퓨터가 기존의 잠금을 깨뜨리더라도 새로운 잠금이 여전히 유효하도록 보장합니다. 두 번째 옵션은 훨씬 더 강력합니다. 이는 수학이 아닌 물리학 법칙에 기반하여 해독 불가능한 코드를 생성하는 양자 키 분배 시스템에 의해 생성된 키를 사용합니다. 이 모드에서는 시스템이 보안 하드웨어 장치로부터 제공된 비밀 키를 가져와 연결을 잠그며, 중간에 가로챌 수 있는 어떠한 수학적 협상도 허용하지 않습니다.
이를 구현하기 위해 연구팀은 밑바닥부터 새로운 아키텍처를 구축해야 했습니다. 시스템은 'Rust'라고 불리는 현대적인 프로그래밍 언어로 작성된 빠르고 안전한 핵심 계층(core)과, 로봇 소프트웨어의 표준 언어를 구사하는 얇은 어댑터의 두 층으로 나뉩니다. 작은 백그라운드 프로그램인 데몬(daemon)이 로봇과 함께 실행되며, 다른 기계들을 발견하고 누가 누구와 대화하고 있는지에 대한 지도를 관리합니다. 이러한 분리를 통해 데이터는 원활하게 흐르는 동시에 제어 시스템은 보안 연결을 설정하는 복잡한 작업을 처리할 수 있습니다. 또한 연구진은 기존의 보안 소프트웨어가 자신들이 필요로 하는 특정 유형의 양자 내성 키를 사용할 수 있도록 허용하지 않았기 때문에, 기반이 되는 보안 소프트웨어를 수정해야 했습니다. 그들은 시스템이 미래의 공격에 취erm할 수 있는 일반적인 핸드셰이크 과정을 우회하여 사전 공유된 비밀 키를 직접 가져올 수 있도록 하는 특수 버전의 보안 라이브러리를 제작했습니다.
결과는 로봇이 실제로 작동하는 방식에 맞춤화된 시스템임을 보여줍니다. 로컬 작업을 위해 공유 메모리를 사용함으로써 시스템은 불필요한 지연을 피합니다. 원격 작업을 위해 QUIC을 사용함으로써 네트워크 오류를 유연하게 처리합니다. 그리고 엄격한 보안 규칙을 강제함으로써 연결이 완벽하게 안전하거나 혹은 아예 존재하지 않도록 보장합니다. 연구진은 시뮬레이션을 통해 시스템을 테스트하였고, 단순한 상태 업데이트부터 복잡한 센서 데이터에 이르기까지 로봇 시스템의 서로 다른 부분 간의 데이터 흐름을 처리할 수 있음을 확인했습니다. 또한 시스템이 두 가지 보안 모드 사이를 성공적으로 전환하며, 엄격한 보안 기준을 충족하지 않는 피어(peer)와의 연결 시도를 거부한다는 것을 입증했습니다. 비록 이 시스템이 아직 실제 물리적인 양자 키 분배 장치를 대상으로 테스트되지 않았고, 기존의 모든 로봇 통신 표준을 완벽하게 대체할 수 있는 단계는 아니지만, 더 유연하고 안전하며 효율적인 접근 방식이 가능하다는 것을 증명합니다. 이 연구는 로봇이 우리 삶에 더 깊숙이 통합됨에 따라, 그들을 연결하는 소프트웨어 역시 기계 자체만큼이나 똑똑하고 적응력이 뛰어나게 진화해야 하며, 오늘날의 해커뿐만 아니라 내일의 위협으로부터 그들의 대화를 보호해야 함을 강조합니다.
연구 분야의 논문에 파묻히고 계신가요?
연구 키워드에 맞는 최신 논문의 일일 다이제스트를 받아보세요 — 기술 요약 포함, 당신의 언어로.