From 44f394d0982521f42972bf2ec1cd19d909c21208 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 30 Aug 2004 14:39:52 +0000
Subject: [PATCH] - Improvement.

---
 spdl/andrew-ban.spdl | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/spdl/andrew-ban.spdl b/spdl/andrew-ban.spdl
index 6308610..af2a999 100644
--- a/spdl/andrew-ban.spdl
+++ b/spdl/andrew-ban.spdl
@@ -1,8 +1,5 @@
 usertype SessionKey;
-const pk: Function;
-secret sk: Function;
 secret k: Function;
-inversekeys (pk,sk);
 
 protocol andrewBan(I,R)
 {
@@ -42,7 +39,11 @@ const Alice,Bob,Eve: Agent;
 untrusted Eve;
 const ne: Nonce;
 const kee: SessionKey;
-compromised sk(Eve);
+compromised k(Eve,Eve);
+compromised k(Eve,Alice);
+compromised k(Eve,Bob);
+compromised k(Alice,Eve);
+compromised k(Bob,Eve);
 
 run andrewBan.I(Agent,Agent);
 run andrewBan.R(Agent,Agent);