[crypticl-cvs] CVS update: obol/src/prog/needham-schroeder-s.obol obol/src/prog/needham-schroeder-b.obol obol/src/prog/needham-schroeder-a.obol

[Taale Skogan]

Update of /project/crypticl/cvsroot/obol/src/prog
In directory common-lisp.net:/tmp/cvs-serv27937

Modified Files:
	needham-schroeder-s.obol needham-schroeder-b.obol 
	needham-schroeder-a.obol 
Log Message:
Hardcoding channels so all three protocl principals can run in in the same Lobo runtime.

Date: Sun Oct  2 16:20:59 2005
Author: tskogan

Index: obol/src/prog/needham-schroeder-s.obol
diff -u obol/src/prog/needham-schroeder-s.obol:1.1.1.1 obol/src/prog/needham-schroeder-s.obol:1.2
--- obol/src/prog/needham-schroeder-s.obol:1.1.1.1	Tue Nov 23 22:43:42 2004
+++ obol/src/prog/needham-schroeder-s.obol	Sun Oct  2 16:20:58 2005
@@ -16,7 +16,13 @@
 (believe Kbs (load "prog/Kbs.key") shared-key ((alg AES)))
 
 ;; m1 A->S: A, B, Na
-(receive *1 *2 *3)
+;;(receive *1 *2 *3)
+;; Myself, for testing purposes
+(believe S "S" address)
+
+;; Hard coded channel for testing all 3 protocol actors in the same Lobo 
+;; runtime
+(receive *1 *2 *3 ((channel S)))
 (believe A *1 address)
 (believe B *2 address)
 (believe Na *3 nonce)


Index: obol/src/prog/needham-schroeder-b.obol
diff -u obol/src/prog/needham-schroeder-b.obol:1.1.1.1 obol/src/prog/needham-schroeder-b.obol:1.2
--- obol/src/prog/needham-schroeder-b.obol:1.1.1.1	Tue Nov 23 22:43:42 2004
+++ obol/src/prog/needham-schroeder-b.obol	Sun Oct  2 16:20:59 2005
@@ -12,8 +12,14 @@
 ;; Initialize script with the secret key shared with the server.
 (believe Kbs (load "prog/Kbs.key") shared-key ((alg AES)))
 
+;; Myself, for testing purposes
+(believe B "B" address)
+
 ;; m3 A->B: {Kab, A}Kbs
-(decrypt Kbs (receive) *Kab *A)
+;;(decrypt Kbs (receive) *Kab *A)
+;; Hard coded channel for testing all 3 protocol actors in the same Lobo 
+;; runtime
+(decrypt Kbs (receive ((channel B))) *Kab *A)
 (believe A *A address)
 (believe Kab *Kab shared-key ((alg AES)))
 
@@ -22,6 +28,9 @@
 (send A (encrypt Kab Nb))
 
 ;; m5 A->B: {Nb-1}Kab
-(decrypt Kab (receive) (- Nb 1))
+;;(decrypt Kab (receive) (- Nb 1))
+;; Hard coded channel for testing all 3 protocol actors in the same Lobo 
+;; runtime
+(decrypt Kab (receive ((channel B))) (- Nb 1))
 (print "Needham-Schroeder successful for B!")
 (return Kab)


Index: obol/src/prog/needham-schroeder-a.obol
diff -u obol/src/prog/needham-schroeder-a.obol:1.1.1.1 obol/src/prog/needham-schroeder-a.obol:1.2
--- obol/src/prog/needham-schroeder-a.obol:1.1.1.1	Tue Nov 23 22:43:42 2004
+++ obol/src/prog/needham-schroeder-a.obol	Sun Oct  2 16:20:59 2005
@@ -14,23 +14,37 @@
 ;; has to use the same type of key.
 (believe Kas (load "prog/Kas.key") shared-key ((alg AES)))
 
-(believe A "gaupe.cs.uit.no:9000" address)
-(believe B "nb75.stud.cs.uit.no:9000" address)
-(believe S "tasko.stud.cs.uit.no:9000" address)
+;;; Use if you have three machines and run one Lobo runtime on each
+;;;(believe A "gaupe.cs.uit.no:9000" address)
+;;;(believe B "nb75.stud.cs.uit.no:9000" address)
+;;;(believe S "tasko.stud.cs.uit.no:9000" address)
+
+;;; Use if you want to test the protocol with three Obol scripts in a single
+;;; Lobo runtime.
+(believe A "A" address)
+(believe B "B" address)
+(believe S "S" address)
+
 (believe Na (generate nonce ((size 128))))
 
 ;; m1 A->S: A, B, Na
 (send S A B Na)
 
 ;; m2 S->A: {Na, B, Kab, {Kab, A}Kbs }Kas
-(decrypt Kas (receive) Na B *Kab *toB)	
+;;(decrypt Kas (receive) Na B *Kab *toB)
+;; Hard coded channel for testing all 3 protocol actors in the same Lobo 
+;; runtime
+(decrypt Kas (receive ((channel A))) Na B *Kab *toB)	
 (believe Kab *Kab shared-key ((alg AES)))
 
 ;; m3 A->B: {Kab, A}Kbs
 (send B *toB)
 
 ;; m4 B->A: {Nb}Kab
-(decrypt Kab (receive) *Nb)
+;;(decrypt Kab (receive) *Nb)
+;; Hard coded channel for testing all 3 protocol actors in the same Lobo 
+;; runtime
+(decrypt Kab (receive  ((channel A))) *Nb)
 (believe Nb *Nb nonce)
 
 ;; m5 A->B: {Nb-1}Kab