The SPINACH FAQ

If your question is not contained in the FAQ please ask the Spinach Administrators.
During the current Beta Tests you can also call Guido Appenzeller at 39427

1. General Questions
1.0 Who wrote Spinach?
1.1 Where can I get more information about how Spinach works?

2. Usage Questions
2.1 Which rooms can I use Spinach in?

3. Technical Questions
3.1 DHCP doesn't set up my nameserver correctly!
3.2 What is the correct name server for clients using SPINACH?
3.3 My Browser doesn't recognize the certificate of the Server!
3.4 Can I use PC-Leland with SPINACH?


The Answers

1.0 Who wrote Spinach
 

Spinach was originally designed by Elliot Poger and Mema Rossoupopous and Mary Baker. The current Web version was mainly written by Guido Appenzeller. All are members of the  Mobile Computing Research Group at Stanford University. The  guest access capability was designed together with Dan Boneh.

Spinach wouldn't have been possible without the support of  Brian Roberts, Tom Dienstbier and Jean-Claude Latombe.

1.1 Where can I get more information about how Spinach works?
Check the  Publications Page of the mobile computing group for an article of a recent USENIX conference. There is also an articel that was submitted to InfoCom'99. If you would like to share research ideas, want source code or more detailed information please contact Guido Appenzeller.
2.1 Which rooms have public Ethernet ports?
The current list of rooms and ports that are activated for SPINACH are below. If you have a favourite port that you would like to have activated send contact the Spinach Administrators.

Room            TSO             Switch port
====            ===             ===========
498             4096-X          4.4 3/22
459             4069-X          4.2 3/22
                4068-X          4.2 3/21
                4151-X (floor)  3.2 4/9
400             4064-X          3.4 3/23
410A            4044-X          4.4 3/23    (4th floor lobby)
459A            4066-X          4.4 3/24    (4th floor A/B wing transition)
392             3259-X (floor)  2.4 3/3
359             3074-X          3.2 4/11
                3073-X          3.2 4/10
                3161-X (floor)  2.2 4/7
300             3160-X (floor)  2.4 3/4
310A            3162-X          3.2 4/12    (3rd floor lobby)
359A            3021-X          3.4 3/4     (3rd floor A/B wing transition)
260             2154-X          2.1 4/1
259             2073-X          2.2 4/9
                2074-X          2.2 4/10
                2162-X (floor)  1.2 4/24
211A            2159-X          2.2 4/11    (2nd floor lobby)
200             2160-X (floor)  1.4 3/24
104             1001-X          1.4 3/21
                1117-X          0.2 3/17
100             1042-X          1.4 3/22
                1043-X          1.4 3/23
                1118-X          0.2 3/18
168             1081-X          1.1 3/23    (AT&T Lounge)
 

3.1 DHCP doesn't set up my nameserver correctly!
Try setting up the name server by hand. In Windows you do this by going to:
ControlPanel->Network->[Tcp/Ip Of Your Ethernet Card]->Properties->"DNS COnfiguration".
For Unix edit the file:
/etc/resolv.conf
3.2 What is the correct name server for clients using SPINACH?
It is the CS department's main DNS server. Its IP Address is:

    171.64.64.64   (cs.Stanford.EDU)

DNS queries to the name server are possible even if you don't have full network access yet.
 

3.3 My Browser doesn't recognize the certificate of the Server!
Spinach uses a server certificate by Thawte that is recognized by most browsers (e.g. Netscape 4, IE 4). With some very old browsers there might be a problem that the Thawte master certificate is not pre-installed. Check out the Thawte Home Page for troubleshooting infromation. The current certificate's fingerprint is:

                06:45:87:D6:08:68:68:8D:D2:DA:B4:31:8E:DE:1D:40

Spinach was using a temporary certificate that we generated ourselves until September 1998 that caused problems with some versions of Internet Explorer, with the final certificate in place this is no longer a problem.

3.4 Can I use PC-Leland with SPINACH?

Yes, if you have installed PC-Leland and still have a valid ticket you automatically skip the WebLogin authentication for SPINACH.

All other services that use PC-Leland work from the SPINACH network just as they would from any other network.


© MosquitoNet: The Operating Systems and Networking Group / spinach-admin@spinach.stanford.edu