AUTO-45
🏢 하이퍼바이저 게스트-호스트 탈출·시간 간섭
자동차 보안 · 고성능 컴퓨트(HPC)
위험도: 상💡 쉽게 말하면
가상머신 탈출은 같은 건물의 세입자가 관리실 배관을 타고 옆집으로 넘어가는 것입니다. 벽은 있지만, 벽을 관통하는 설비 통로가 허술하면 소용이 없습니다.
가상머신 탈출은 같은 건물의 세입자가 관리실 배관을 타고 옆집으로 넘어가는 것입니다. 벽은 있지만, 벽을 관통하는 설비 통로가 허술하면 소용이 없습니다.
🎯 직접 해보기 — 공격을 실행해 보세요
아래에서 시스템 상태를 취약 또는 안전(조치 적용)으로 바꾼 뒤 공격 실행을 눌러, 같은 공격이 어떻게 다르게 끝나는지 직접 확인하세요.
# 인포테인먼트 가상머신에서 하이퍼바이저 경계를 넘어 본다
# [공격 실행] 버튼을 누르면 시작합니다.
📋 설정 비교 (왜 막혔나?)
✗ 취약한 설정
# 게스트에서 하이퍼콜·가상장치 퍼징
attacker$ fuzz hypercalls + virtio rings
>> 장치 모델에서 경계 밖 쓰기 — 호스트 권한 획득
→ CPU 예산 미설정, 안전 VM 데드라인 미스
✓ 안전한 설정
# 인터페이스 최소화 + DMA·시간 격리
hv$ minimal hypercalls ; IOMMU per-VM ; CPU budget
>> 경계 밖 접근 차단
→ 안전 VM 시간 예산 보장
🔧 조치 방법
- 게스트-하이퍼바이저 인터페이스를 최소화하고 모든 입력을 엄격히 검증합니다.
- IOMMU로 패스스루 장치의 DMA 범위를 가상머신별로 제한합니다.
- CPU 시간 예산과 스케줄 파티션으로 시간 영역의 간섭을 막습니다.
✅ 점검 체크리스트
- 게스트 인터페이스 최소화·검증
- DMA 범위 제한 적용
- 시간 격리(예산) 설정
점검기준: 혼재 중요도 가상화 격리
🏗️ 현대 차량 아키텍처에서의 위치와 규제 대응
아키텍처 HPC — 하이퍼바이저접근 경로 내부 침해 (게스트 장악)R155 위협 분류 하드닝 미흡 (4.3.7)ISO 21434 제품개발 — 아키텍처
SDV·전동화 전환에서 달라지는 점
SDV 의 통합은 하이퍼바이저의 격리를 믿고 성립합니다. 인포테인먼트와 계기·ADAS 를 한 칩에 올리는 근거가 바로 이 격리인데, 탈출이 가능하면 통합 설계의 전제 자체가 무너집니다. 격리는 편의가 아니라 안전 요구사항입니다.
인증·심사에서 요구되는 증적
파티션 격리(메모리·주변장치·시간) 설계와, 격리 위반을 시험한 침투테스트 결과.
파티션 격리(메모리·주변장치·시간) 설계와, 격리 위반을 시험한 침투테스트 결과.
🚗 이 위협을 직접 공격·방어해 보기
자동차 모의 해킹 실습장 →
모의 침투 콘솔에서 실제로 공격을 실행하고, 방어를 적용해 다시 확인합니다.