Update of /project/crypticl/cvsroot/obol/doc In directory common-lisp.net:/tmp/cvs-serv27881

Modified Files: README Log Message: Describing how to run Needham-Schroeder.

Date: Sun Oct 2 16:16:11 2005 Author: tskogan

Index: obol/doc/README diff -u obol/doc/README:1.2 obol/doc/README:1.3 --- obol/doc/README:1.2 Sun Oct 2 10:48:02 2005 +++ obol/doc/README Sun Oct 2 16:16:10 2005 @@ -31,8 +31,24 @@ This will start the Obol runtime. Start an Obol prompt by: lobo(4): (obol)

-You can load and run a test script by using load-script: +You can load and run a whole Obol program by using load-script: obol[1]>(load-script "prog/test.obol") + +To test a more realistic example, try the Needham-Schroeder protocol +implementation found in prog/needham-schroeder-*.obol. Start a Lobo runtime +on three different machines, get an obol prompt by executing (obol) and +run the protocol step by step for each protocol actor in the three repls (one +Obol program for each actor A, B and S). You'll have to replace the default +local channel addresses by real network addresses in the Obol programs. +Alternatively you can run the protocol with all three actors in the same +Lobo runtime. This will be easier if you use the telnet server built into +the runtime. Open three telnet connections (default port 9023) and start a new +Obol script in each. Run the protocl as above. + +N.B. If you run on Windows and want to use telnet from within emacs, install +cygwin and use cygwin's telnet.exe since Window's telnet doesn't agree with +emacs's telnet.el. Modify the telnet command used by emacs as described at +http://www.khngai.com/emacs/cygwin.php.

DOCUMENTATION