Jupyter Server: Handler WebSocket bramy omija autoryzację wykonywania kodu w kernelu

Podsumowanie

Procedura obsługi bramy WebSocket w Jupyter Server sprawdza, czy użytkownik jest uwierzytelniony, lecz nie weryfikuje w skonfigurowanym module Authorizer, czy użytkownik ten ma uprawnienia do uruchamiania kerneli.

W Jupyter Server od 2.0.0 do 2.5.0 włączenie GatewayClient.url automatycznie zastępowało standardowy handler kanału kernela tym dedykowanym handlerem bramy. Uwierzytelniony użytkownik, któremu odmówiono akcji execute na zasobie kernels, może w rezultacie nadal otworzyć kanał kernela i przesyłać komunikaty do nadrzędnego kernela (upstream).

Szczegóły

Standardowy handler przeprowadza oczekiwaną weryfikację autoryzacji przed utworzeniem połączenia WebSocket:

https://github.com/jupyter-server/jupyter_server/blob/v2.5.0/jupyter_server/services/kernels/websocket.py#L39-L47

Handler bramy weryfikuje jedynie current_user, a następnie otwiera nadrzędny kanał. Nigdy nie wywołuje authorizer.is_authorized(...):

https://github.com/jupyter-server/jupyter_server/blob/v2.5.0/jupyter_server/gateway/handlers.py#L49-L75 https://github.com/jupyter-server/jupyter_server/blob/v2.5.0/jupyter_server/gateway/handlers.py#L87-L98

Tryb bramy wybierał ten handler automatycznie, podmieniając handlery o pasujących trasach:

https://github.com/jupyter-server/jupyter_server/blob/v2.5.0/jupyter_server/serverapp.py#L437-L446

PR #1261 zaprzestał zastępowania standardowego handlera i skierował ruch bramy przez GatewayWebSocketConnection. Wygląda na to, że naprawiło to domyślną konfigurację bramy w 2.6.0, chociaż przestarzały handler jest nadal obecny w bieżących wydaniach i wciąż może zostać zarejestrowany bezpośrednio.

https://github.com/jupyter-server/jupyter_server/pull/1261

Walidacja na poziomie kodu

1. Skonfiguruj niestandardowy Authorizer zwracający false dla execute na zasobie kernels dla zwykłego uwierzytelnionego użytkownika.
2. Skonfiguruj GatewayClient.url w Jupyter Server 2.0.0-2.5.0.
3. Zwykły KernelWebsocketHandler odrzuciłby takiego użytkownika z błędem 403 w pre_get.
4. Tryb bramy zastępuje go przez WebSocketChannelsHandler. Jego metoda authenticate odrzuca jedynie użytkowników anonimowych, a get przechodzi do bramy nadrzędnej bez weryfikacji autoryzacji.

Wpływ

Luka polega na braku kontroli autoryzacji, a nie na ominięciu uwierzytelniania. Ma ona znaczenie we wdrożeniach korzystających z restrykcyjnego, niestandardowego Authorizera oraz Jupyter Gateway/Enterprise Gateway. Uwierzytelniony użytkownik z uprawnieniami tylko do odczytu lub innymi ograniczeniami może przekroczyć zamierzoną granicę uprawnień i uzyskać możliwość wykonywania kodu w kernelu, zyskując dostęp do danych oraz poświadczeń dostępnych dla tego kernela.

Wersje dotknięte podatnością

• Domyślna konfiguracja bramy: od 2.0.0 do 2.5.0
• 2.6.0 i nowsze: domyślna ścieżka korzysta z autoryzowanego standardowego handlera, lecz ręczna rejestracja przestarzałego modułu jupyter_server.gateway.handlers nadal wiąże się ze starym zachowaniem.