From 51e6225d60442ecfed9e85691e9bf792cc051017 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 15 Mar 2004 10:59:29 +0000
Subject: [PATCH] - New algorithm for visualisation challenge.

---
 spdl/broken1.spdl | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 spdl/broken1.spdl

diff --git a/spdl/broken1.spdl b/spdl/broken1.spdl
new file mode 100644
index 0000000..64cbbf7
--- /dev/null
+++ b/spdl/broken1.spdl
@@ -0,0 +1,39 @@
+/*
+ * A broken protocol
+ *
+ * Cas Cremers
+ * Visualization challenge of the week.
+ * Can be checked withouth CL, please do so.
+ */
+
+usertype String, Key;
+const PlainSight: String;
+secret HelloWorld, HelloServer: String;
+secret k: Key;
+
+protocol broken1(aap,noot,mies)
+{
+	role aap
+	{
+		send_1(aap, noot, PlainSight, {HelloWorld, aap, noot}k );
+		send_2(aap, mies, {HelloServer, aap, mies}k );
+	}	
+	role noot
+	{
+		read_3(mies, noot, {HelloWorld, mies, aap, noot}k );
+		read_1(aap, noot, PlainSight, {HelloWorld, aap, noot}k );
+		claim(noot, Secret, PlainSight);
+	}
+	role mies
+	{
+		read_2(aap, mies, {HelloServer, aap, mies}k );
+		send_3(mies, noot, {HelloWorld, mies, aap, noot}k );
+	}
+}
+
+const Bonobo, Pinda, Mies: Agent;
+
+run broken1.aap(Bonobo, Pinda, Mies);
+run broken1.noot(Bonobo, Pinda, Mies);
+run broken1.mies(Bonobo, Pinda, Mies);
+