- Some cleanup.

src/ns3

@@ -1,40 +0,0 @@
-const pk: Function;
-secret sk: Function;
-inversekeys (pk,sk);
-
-protocol ns3(I,R)
-{
-	role I
-	{
-		const ni: Nonce;
-		var nr: Nonce;
-
-		send_1(I,R, {I,ni}pk(R) );
-		read_2(R,I, {ni,nr}pk(I) );
-		send_3(I,R, {nr}pk(R) );
-//		claim_4(I,Secret,ni,nr);
-//		claim_6(I,Nisynch);
-	}	
-	
-	role R
-	{
-		var ni: Nonce;
-		const nr: Nonce;
-
-		read_1(I,R, {I,ni}pk(R) );
-		send_2(R,I, {ni,nr}pk(I) );
-		read_3(I,R, {nr}pk(R) );
-		claim_5(R,Secret,nr);
-//		claim_5(R,Secret,ni,nr);
-//		claim_7(R,Nisynch);
-	}
-}
-
-const Alice,Eve: Agent;
-
-untrusted Eve;
-const nc: Nonce;
-compromised sk(Eve);
-
-run ns3.I(Alice,Eve);
-run ns3.R(Alice,Bob);

src/sbke

@@ -1,3 +0,0 @@
-#!/bin/sh
-
-./scyther ../spdl/bke.spdl $*