From 8af423f2b51b99aa85f6a0ad91e5ce821aa21d7e Mon Sep 17 00:00:00 2001
From: mwh1g17 <mwh1g17@soton.ac.uk>
Date: Mon, 10 Feb 2020 12:19:04 +0000
Subject: [PATCH] Encrypted Exchange Protocol to satisfy encrypted
communications policy
---
Scyther Files/EncryptedExchange.spdl | 40 ++++++++++++++++++++++++++++
1 file changed, 40 insertions(+)
create mode 100644 Scyther Files/EncryptedExchange.spdl
diff --git a/Scyther Files/EncryptedExchange.spdl b/Scyther Files/EncryptedExchange.spdl
new file mode 100644
index 0000000..1207838
--- /dev/null
+++ b/Scyther Files/EncryptedExchange.spdl
@@ -0,0 +1,40 @@
+
+
+
+protocol EncrpytedExchange(Meter,Monitor)
+
+ {
+
+ role Meter {
+
+ fresh M: Nonce;
+ var Confirm;
+
+ send_1(Meter,Monitor,{M}k(k));
+ recv_2(Monitor,Meter,{Confirm}k(k));
+
+ claim_Meter1(Meter, Secret, (k));
+ claim_Meter2(Meter, Secret, M);
+
+
+
+
+ }
+
+ role Monitor {
+
+ var M;
+ fresh Confirm: Nonce;
+
+ recv_1(Meter,Monitor,{M}k(k));
+ send_2(Monitor,Meter,{Confirm}k(k));
+
+ claim_Monitor1(Monitor, Secret, (k));
+ claim_Monitor2(Monitor, Secret, M);
+
+
+
+
+ }
+
+}
\ No newline at end of file
--
GitLab