From 7346247f62119931f85938e17c67109269abf781 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 12 Jun 2004 13:10:17 +0000
Subject: [PATCH] - Fixed 2 protocols.

---
 spdl/bkepk.spdl      | 8 +-------
 spdl/helloworld.spdl | 2 +-
 2 files changed, 2 insertions(+), 8 deletions(-)

diff --git a/spdl/bkepk.spdl b/spdl/bkepk.spdl
index 3d31eb5..d83c30c 100644
--- a/spdl/bkepk.spdl
+++ b/spdl/bkepk.spdl
@@ -42,17 +42,11 @@ protocol bkepk(A,B)
 const Alice,Bob,Eve;
 
 compromised sk(Eve);
+untrusted Eve;
 
 run bkepk.A(Alice,Bob);
 run bkepk.B(Alice,Bob);
 run bkepk.A(Alice,Bob);
 run bkepk.B(Alice,Bob);
 
-run bkepk.A(Alice,Bob);
-run bkepk.B(Alice,Bob);
-run bkepk.A(Alice,Bob);
-run bkepk.B(Alice,Bob);
-
-run bkepk.A(Alice,Bob);
-run bkepk.B(Alice,Bob);
 
diff --git a/spdl/helloworld.spdl b/spdl/helloworld.spdl
index 001ed99..eaff92e 100644
--- a/spdl/helloworld.spdl
+++ b/spdl/helloworld.spdl
@@ -1,5 +1,5 @@
 usertype String, World;
-secret HelloWorld: String;
+secret HelloWorld, k: String;
 
 protocol hw(initiator,world)
 {