From eafa8a6d142b46781bd599a03082e7660fbd6bca Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 4 Apr 2005 14:06:57 +0000
Subject: [PATCH] - Oops, forgot to rename the protocol (for multi-protocol
 analysis)

---
 spdl/bke-variation.spdl | 19 ++++++-------------
 1 file changed, 6 insertions(+), 13 deletions(-)

diff --git a/spdl/bke-variation.spdl b/spdl/bke-variation.spdl
index e7bbfd3..6f7e91f 100644
--- a/spdl/bke-variation.spdl
+++ b/spdl/bke-variation.spdl
@@ -1,5 +1,6 @@
 /* 
 	Bilateral Key Exchange with Public Key protocol (BKEPK)
+	Variation for exercise 2r890
 */
 
 usertype Key;
@@ -10,7 +11,7 @@ secret sk,unhash: Function;
 inversekeys (pk,sk);
 inversekeys (hash,unhash);
 
-protocol bke(I,R)
+protocol bkevariation(I,R)
 {
 	role I
 	{
@@ -47,16 +48,8 @@ untrusted e;
 compromised sk(e);
 const ne: Nonce;
 
-run bke.I(a,Agent);
-run bke.R(Agent,b);
-run bke.I(a,Agent);
-run bke.R(Agent,b);
-
-run bke.I(a,Agent);
-run bke.R(Agent,b);
-run bke.I(a,Agent);
-run bke.R(Agent,b);
-
-run bke.I(a,Agent);
-run bke.R(Agent,b);
+run bkevariation.I(a,Agent);
+run bkevariation.R(Agent,b);
+run bkevariation.I(a,Agent);
+run bkevariation.R(Agent,b);