Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder ein alternativer Browser verwenden.
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.