Mathematical Logic Group

(Department of Mathematics, University of Bonn)


Converting to encrypted communicationprograms

Some programs use insecure protocols (they transmit everthing, passwords included, uncoded through the network, making it possible for anyone to intercept): Therefore these possibilities will be disabled in the (near?) future. This page is meant to provide some alternatives which will hopefully restore the ability to log in from practically everywhere.


Logging in


telnet will in general be replaced by ssh. On Linux/Unix machines this means that in stead of typing

"telnet pool9.math.uni-bonn.de"
you need to type
"ssh -l [your login] pool9.math.uni-bonn.de".
For Windows computers, two wide-spread programs which allow the use of ssh are Terra Term and PuTTY. Mostly they can be found somewhere on the desktop or in the start menu. If you cannot find them or a similar program, you can download PuTTY here:
Download  putty.exe (by pressing the Shift-button) and save it onto the desktop (by choosing Desktop in the "Save As" window). No further installment is needed. Just go to the desktop and start PuTTY (doubleclick). You will then be prompted for a Host name and a Protocol (where you can select ssh).  Clicking on Open will start your session.

On a permanent (home) installation of PuTTY you can save your host name and protocol. To do this you need to provide a name in the window Stored Sessions and Save it.
 

For Macs there is Nifty or Macssh (68k or PPC). But by lack of a Macintosh I can give no description how they work. Information can be found at http://www.pure-mac.com/telnet.html

Copying files

To copy files in a secure way from a Windows computer there are two ways (on this page). If you prefer an MS-DOS based program use pscp.exe. Download it and save it in "C:\windows". Then start an MS-DOS prompt and go to wherever your working directory is. To copy a file, say "happy_song.txt", to your account you type the command:
"pscp happy_song.txt [login]@pool9.math.uni-bonn.de".
Another way is WinSCP (form the creator of PuTTY). Installation is similar to the installation of PuTTY.


Last changed: October 16th