From 20a38f79c5e0838aa728d81bb0f297626f9ec7a5 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 30 Aug 2004 14:40:12 +0000
Subject: [PATCH] BROKEN - Protocol is not done yet.

---
 spdl/kaochow-palm.spdl | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 spdl/kaochow-palm.spdl

diff --git a/spdl/kaochow-palm.spdl b/spdl/kaochow-palm.spdl
new file mode 100644
index 0000000..d74fbf9
--- /dev/null
+++ b/spdl/kaochow-palm.spdl
@@ -0,0 +1,34 @@
+usertype Sessionkey;
+secret k: Function;
+
+protocol kaochowPalm(I,R,S)
+{
+	role I
+	{
+		const ni: Nonce;
+		var X: Nonce;
+		var KX: Sessionkey;
+
+	}	
+	
+	role R
+	{
+	}
+
+	role S
+	{
+	}
+}
+
+const Alice,Bob,Simon,Eve: Agent;
+
+untrusted Eve;
+const ne: Nonce;
+compromised sk(Eve);
+
+run kaochowPalm.I(Agent,Agent,Simon);
+run kaochowPalm.R(Agent,Agent,Simon);
+run kaochowPalm.S(Agent,Agent,Simon);
+run kaochowPalm.I(Agent,Agent,Simon);
+run kaochowPalm.R(Agent,Agent,Simon);
+run kaochowPalm.S(Agent,Agent,Simon);