Ich kann mir schon vorstellen, dass auf einem Windows-Server die Anmeldedaten verfügbar sind(wohlgemerk die auf dem Server, nicht die auf dem Clientrechner).
Lt. meinem PHP-Buch stehen bspw. beim IIS die Variablen AUTH_NAME und AUTH_PASSWORD zur Verfügung. Testen kann ich das mangels IIS nicht
Wenn es Schulrechner sind und es so wie bei uns ist.
Jeder hat eine feste interne IP.
Kann man ja einfach die IP des Users auslesen (wenns im Intranet ist) und vorher halt der festen IP den Namen zu weisen von dem Schüler, der davor sitzt.