Merge pull request #1 from cybersoton/Testing/Practice

Merging Testing to Master Branch

Scyther Files/HelloWorld.spdl

+usertype String;
+const HelloWorld: String;
+
+
+protocol hello(I,R)
+
+	{
+
+	role I {
+
+		fresh Icreate : Nonce;
+		var Irecieve : Nonce;
+		
+
+		send_1(I,R, {I,Icreate} HelloWorld);
+
+		claim_i1(I,Secret,Icreate);
+
+	}
+
+	role R {
+
+
+		fresh Rcreate : Nonce;
+		var Rrecieve : Nonce;
+
+		recv_1(I,R, {I,Rrecieve} HelloWorld);
+
+
+		claim_r1(R,Secret,Rcreate);
+
+	
+	   }
+}
\ No newline at end of file

Scyther Files/SendAndConfirm.spdl

+
+
+
+protocol smartExchange(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));
+
+
+
+	}
+
+	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));
+
+
+
+	
+	   }
+
+}
\ No newline at end of file