Jupyter Server: Gateway-WebSocket-Handler umgeht Autorisierung zur Kernel-Ausführung

Zusammenfassung

Der Gateway-WebSocket-Handler von Jupyter Server prüft zwar, ob ein Benutzer authentifiziert ist, fragt jedoch den konfigurierten Authorizer nicht ab, ob dieser Benutzer Kernel ausführen darf.

In Jupyter Server 2.0.0 bis 2.5.0 ersetzte die Aktivierung von GatewayClient.url den regulären Kernel-Kanal-Handler automatisch durch diesen gateway-spezifischen Handler. Ein authentifizierter Benutzer, dem die Aktion execute für die Ressource kernels verweigert wird, kann somit dennoch einen Kernel-Kanal öffnen und Nachrichten an den Upstream-Kernel senden.

Details

Der normale Handler führt die erwartete Autorisierungsprüfung durch, bevor die WebSocket-Verbindung erstellt wird:

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

Der Gateway-Handler prüft lediglich current_user und öffnet anschließend den Upstream-Kanal. Er ruft authorizer.is_authorized(...) niemals auf:

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

Der Gateway-Modus wählte diesen Handler automatisch aus, indem Handler mit übereinstimmenden Routen ersetzt wurden:

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

PR #1261 ersetzte den normalen Handler nicht mehr und leitete den Gateway-Datenverkehr stattdessen über GatewayWebSocketConnection weiter. Dies behob anscheinend die Standard-Gateway-Konfiguration in 2.6.0, wenngleich der veraltete Handler in aktuellen Versionen weiterhin vorhanden ist und weiterhin direkt registriert werden kann.

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

Validierung auf Code-Ebene

1. Konfigurieren Sie einen benutzerdefinierten Authorizer, der für einen regulären authentifizierten Benutzer bei execute auf kernels den Wert false zurückgibt.
2. Konfigurieren Sie GatewayClient.url auf Jupyter Server 2.0.0-2.5.0.
3. Der normale Handler KernelWebsocketHandler würde diesen Benutzer in pre_get mit 403 abweisen.
4. Der Gateway-Modus ersetzt ihn durch WebSocketChannelsHandler. Dessen Methode authenticate weist nur anonyme Benutzer ab, und get fährt ohne Autorisierungsentscheidung mit dem Upstream-Gateway fort.

Auswirkungen

Hierbei handelt es sich um eine fehlende Autorisierungsprüfung, nicht um eine Authentifizierungsumgehung. Dies ist relevant für Deployments, die einen restriktiven benutzerdefinierten Authorizer und Jupyter Gateway/Enterprise Gateway verwenden. Ein authentifizierter Benutzer mit Nur-Lese- oder anderweitig eingeschränkten Rechten kann die vorgesehene Autorisierungsgrenze überschreiten und Kernel-Ausführungsrechte erlangen, wodurch Zugriff auf Daten und Anmeldeinformationen besteht, die diesem Kernel zur Verfügung stehen.

Betroffene Versionen

• Standard-Gateway-Konfiguration: 2.0.0 bis 2.5.0
• 2.6.0 und neuer: Der Standardpfad verwendet den autorisierten Standard-Handler, das manuelle Registrieren des veralteten Moduls jupyter_server.gateway.handlers legt jedoch weiterhin das alte Verhalten offen.