A Provenance-Aware Operational Audit Contract for Low-Altitude Unmanned Aircraft Evidence
본 논문은 의도된 상태, 관측된 상태, 그리고 주장된 상태를 버전 관리되는 9개 구성 요소의 기록을 통해 구분함으로써 조직 간 증거 해석 가능성을 보장하는 저고도 무인 항공기를 위한 출처 인식 운영 감사 계약을 제안하고 검증하며, 이는 19회의 실행과 475개의 감사 쿼리에 걸쳐 성공적으로 검증되었다.