From 5d9e893a44de9422ea12edb6f8618357f69e6ada Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Tue, 9 Mar 2004 16:07:02 +0000
Subject: [PATCH] - 'Simplest' protocol that shows postponing effort.

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

diff --git a/spdl/simplest.spdl b/spdl/simplest.spdl
new file mode 100644
index 0000000..22f3f62
--- /dev/null
+++ b/spdl/simplest.spdl
@@ -0,0 +1,19 @@
+
+secret k: Nonce;
+const Alice,Bob,Charlie: Agent;
+const ne: Nonce;
+
+protocol simplest(I)
+{
+	role I
+	{
+		var x: Nonce;
+		const n: Nonce;
+
+		read(I,I, x);
+		send(I,I, n, {n, x}k );
+	}
+}
+
+run simplest.I(Alice);
+run simplest.I(Alice);