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