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?
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.1.1 Where can I get more information about how Spinach works?Spinach wouldn't have been possible without the support of Brian Roberts, Tom Dienstbier and Jean-Claude Latombe.
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.3.1 DHCP doesn't set up my nameserver correctly!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)
Try setting up the name server by hand. In Windows you do this by going to:3.2 What is the correct name server for clients using SPINACH?ControlPanel->Network->[Tcp/Ip Of Your Ethernet Card]->Properties->"DNS COnfiguration".For Unix edit the file:/etc/resolv.conf
It is the CS department's main DNS server. Its IP Address is:3.3 My Browser doesn't recognize the certificate of the Server!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.
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.