Mozilla, RLBox 라이브러리 격리 기술 구현 시작

스탠포드 대학교, 샌디에이고 캘리포니아 대학교, 오스틴 텍사스 대학교 연구원 개발했다 도구 RL박스, 이는 함수 라이브러리의 취약점을 차단하기 위한 추가 격리 계층으로 사용될 수 있습니다. RLBox는 개발자의 통제하에 있지 않지만 해당 취약점으로 인해 주요 프로젝트를 손상시킬 수 있는 신뢰할 수 없는 타사 라이브러리의 보안 문제를 해결하는 것을 목표로 합니다.

모질라 회사 ~에 계획하다 Firefox 74의 Linux 빌드와 Firefox 75의 macOS 빌드에서 RLBox를 사용하여 라이브러리 실행을 격리합니다. 석묵, 글꼴 렌더링을 담당합니다. 그러나 RLBox는 Firefox에만 국한되지 않으며 임의 프로젝트의 모든 라이브러리를 격리하는 데 사용할 수 있습니다. 기초 공사 RL박스 확산 MIT 라이센스에 따라. RLBox는 현재 Linux 및 macOS 플랫폼을 지원하며 Windows는 나중에 지원될 예정입니다.

기구 RLBox의 작업은 격리된 라이브러리의 C/C++ 코드를 낮은 수준의 중간 WebAssembly 코드로 컴파일하는 것으로 요약됩니다. 그런 다음 이 코드는 WebAssembly 모듈로 설계되며 해당 모듈의 권한은 이 모듈과 관련해서만 설정됩니다(예: 라이브러리 문자열을 처리하기 위해 네트워크 소켓이나 파일을 열 수 없습니다). C/C++ 코드를 WebAssembly로 변환하는 작업은 다음을 사용하여 수행됩니다. wasi-sdk.

직접 실행을 위해 WebAssembly 모듈은 컴파일러를 사용하여 기계어 코드로 컴파일됩니다. 루셋 나머지 애플리케이션 메모리와 격리된 별도의 "나노프로세스"에서 실행됩니다. Lucet 컴파일러는 JIT 엔진과 동일한 코드를 기반으로 합니다. 크레인 리프트, Firefox에서 WebAssembly를 실행하는 데 사용됩니다.

조립된 모듈은 별도의 메모리 영역에서 작동하며 나머지 주소 공간에 액세스할 수 없습니다. 라이브러리의 취약점이 악용되면 공격자는 제한적이며 기본 프로세스의 메모리 영역에 접근하거나 격리된 환경 외부로 제어권을 이전할 수 없습니다.

개발자에게 높은 수준의 정보가 제공됩니다. API, 격리 모드에서 라이브러리 함수를 호출할 수 있습니다. WebAssembly 핸들러는 추가 리소스가 거의 필요하지 않으며 이들과의 상호 작용은 일반 함수를 호출하는 것보다 훨씬 느리지 않습니다(라이브러리 함수는 네이티브 코드 형식으로 실행되며 격리된 환경과 상호 작용하는 동안 데이터를 복사하고 확인할 때만 오버헤드 비용이 발생합니다). 격리된 라이브러리 함수는 직접 호출할 수 없으며 다음을 사용하여 액세스해야 합니다.
레이어 Invoke_sandbox_function().

결과적으로, 라이브러리에서 외부 함수를 호출해야 하는 경우 이러한 함수는 Register_callback 메소드를 사용하여 명시적으로 정의되어야 합니다(기본적으로 RLBox는 함수에 대한 액세스를 제공합니다) 표준 라이브러리). 메모리 안전을 보장하려면 코드 실행 격리만으로는 충분하지 않으며 반환된 데이터 스트림도 확인해야 합니다.

격리된 환경에서 생성된 값은 신뢰할 수 없는 것으로 표시되어 사용이 제한됩니다. 오염된 흔적 그리고 "청소"를 위해서는 확인 그리고 애플리케이션 메모리에 복사합니다.
정리 없이 일반 데이터가 필요한 컨텍스트에서 오염된 데이터를 사용하려고 하면(또는 그 반대) 컴파일 타임에 오류가 생성됩니다. 작은 함수 인수, 반환 값 및 구조는 프로세스 메모리와 샌드박스 메모리 간의 복사를 통해 전달됩니다. 대규모 데이터 세트의 경우 격리된 환경에서 메모리가 할당되고 직접 샌드박스 참조 포인터가 기본 프로세스로 반환됩니다.

출처 : opennet.ru