From 09ffaad340710e773948a3227f90c8ccd795f7bf Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 14 Oct 2004 14:34:47 +0000
Subject: [PATCH] - Fixed a claim role.

---
 spdl/woolam-cmv.spdl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spdl/woolam-cmv.spdl b/spdl/woolam-cmv.spdl
index 8523fdd..26e032b 100644
--- a/spdl/woolam-cmv.spdl
+++ b/spdl/woolam-cmv.spdl
@@ -29,7 +29,7 @@ protocol woolamcmv(A,B,S)
    		read_6(B,A, { B,Na,Nb,Kab }k(A,S), { Na,Nb }Kab );
 		send_7(A,B, { Nb }Kab );	
 
-		claim_8(B,Secret, Kab);
+		claim_8(A,Secret, Kab);
 	}
 
 	role B
@@ -58,7 +58,7 @@ protocol woolamcmv(A,B,S)
 		read_4(B,S, { A,B, Na,Nb }k(A,S), { A,B,Na,Nb }k(B,S) );
 		send_5(S,B, { B,Na,Nb,Kab }k(A,S), { A,Na,Nb,Kab }k(B,S) );
 
-		claim_10(B,Secret, Kab);
+		claim_10(S,Secret, Kab);
 	}
 }