מושגי ליבה
사이버 공격자는 센서 측정값을 조작하여 상태 추정치를 안전 영역 내부로 편향시킴으로써 안전 필터를 우회할 수 있다.
תקציר
이 논문은 사이버 공격자가 센서 측정값을 조작하여 안전 필터를 우회하는 방법을 제안한다.
- 안전 필터는 안전한 제어 입력만을 허용하도록 설계된다. 이를 위해 제어 장벽 함수(CBF)를 사용한다.
- 공격자는 센서 측정값을 조작하여 상태 추정치를 안전 영역 내부로 편향시킨다. 이렇게 하면 안전 필터가 위험한 제어 입력을 허용하게 된다.
- 제안된 공격 정책은 상태 추정치를 안전 영역 내부로 편향시키는 동시에 탐지를 회피하도록 설계된다.
- 공격자는 관측기 이득, 측정 함수, 탐지기 임계값 등의 정보를 알고 있다고 가정한다.
- 공격 정책은 상태 추정치의 안전 여유도를 증가시켜 안전 필터를 비활성화하는 것을 목표로 한다.
- 제안된 탐지기는 상태 추정치의 편향 방향을 탐지하여 이러한 공격을 탐지할 수 있다.
- 이중 적분기 예제를 통해 제안된 공격 및 탐지 기법의 효과를 입증한다.
סטטיסטיקה
상태 추정치 ˆ
x가 안전 영역 내부에 있다고 잘못 인식되어 위험한 제어 입력이 허용될 수 있다.
제안된 공격 정책은 상태 추정치의 안전 여유도를 δ∥KT ∇hS(ˆ
x)∥∗만큼 증가시킨다.
ציטוטים
"안전 필터는 안전한 제어 입력만을 실행하도록 보장한다."
"제안된 공격 정책은 센서 측정값을 조작하여 상태 추정치를 안전 영역 내부로 편향시킨다."
"제안된 탐지기는 상태 추정치의 편향 방향을 탐지하여 이러한 공격을 탐지할 수 있다."