From 533cf46080353cf9f4e7ffbf2eae475c05149740 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 3 Mar 2005 15:29:35 +0000
Subject: [PATCH] - Using the scyther.py -e command, I found and fixed some
 errors.

---
 spdl/kaochow.spdl       | 6 +++---
 spdl/nsl7.spdl          | 4 ++--
 spdl/samasc-broken.spdl | 2 +-
 spdl/speedtest.spdl     | 2 +-
 spdl/woolam-cmv.spdl    | 2 +-
 5 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/spdl/kaochow.spdl b/spdl/kaochow.spdl
index 8ae1c6e..ab4f701 100644
--- a/spdl/kaochow.spdl
+++ b/spdl/kaochow.spdl
@@ -14,9 +14,9 @@ protocol kaochow(I,R,S)
 		read_3 (R,I, {I,R,ni,kir}k(I,S), {ni}kir, nr );
 		send_4 (I,R, {nr}kir );
 
-		claim_5 (R, Nisynch);
-		claim_6 (R, Niagree);
-		claim_7 (R, Secret, kir);
+		claim_5 (I, Nisynch);
+		claim_6 (I, Niagree);
+		claim_7 (I, Secret, kir);
 	}	
 	
 	role R
diff --git a/spdl/nsl7.spdl b/spdl/nsl7.spdl
index 1688a46..452978f 100644
--- a/spdl/nsl7.spdl
+++ b/spdl/nsl7.spdl
@@ -12,8 +12,8 @@ protocol nsl7(I,R)
 		read_1(I,R, {I,ni}pk(R) );
 		send_2(R,I, {ni,nr,R}pk(I) );
 		read_3(I,R, {nr}pk(R) );
-		claim_4(I,Secret,ni);
-		claim_5(I,Secret,nr);
+		claim_4(R,Secret,ni);
+		claim_5(R,Secret,nr);
 	}
 }
 
diff --git a/spdl/samasc-broken.spdl b/spdl/samasc-broken.spdl
index f5a8976..d97f7fd 100644
--- a/spdl/samasc-broken.spdl
+++ b/spdl/samasc-broken.spdl
@@ -9,7 +9,7 @@ secret sk: Function;
 
 inversekeys (pk,sk);
 
-protocol samasc-broken(I,R)
+protocol samascbroken(I,R)
 {
 	role R
 	{
diff --git a/spdl/speedtest.spdl b/spdl/speedtest.spdl
index ace7cf3..3b9b72e 100644
--- a/spdl/speedtest.spdl
+++ b/spdl/speedtest.spdl
@@ -23,7 +23,7 @@ protocol ns3speedtest(I,R)
 		read_1(I,R, {I,ni}pk(R) );
 		send_2(R,I, {ni,nr}pk(I) );
 		read_3(I,R, {nr}pk(R) );
-		claim_5(I,Secret,ni);
+		claim_5(R,Secret,ni);
 	}
 }
 
diff --git a/spdl/woolam-cmv.spdl b/spdl/woolam-cmv.spdl
index 26d53ea..b20aeda 100644
--- a/spdl/woolam-cmv.spdl
+++ b/spdl/woolam-cmv.spdl
@@ -66,7 +66,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(S,Secret, Kab);
+		claim_14(S,Secret, Kab);
 	}
 }