From fe18bf0fa14a73dda343b7f7f7fed6f39db12b36 Mon Sep 17 00:00:00 2001 From: ccremers Date: Fri, 11 Aug 2006 17:59:08 +0000 Subject: [PATCH] - Removed obsolete stuff. --- gui/me.spdl | 52 ------------------------------------- gui/scythergui-default.spdl | 51 ------------------------------------ 2 files changed, 103 deletions(-) delete mode 100644 gui/me.spdl delete mode 100644 gui/scythergui-default.spdl diff --git a/gui/me.spdl b/gui/me.spdl deleted file mode 100644 index 8f893c6..0000000 --- a/gui/me.spdl +++ /dev/null @@ -1,52 +0,0 @@ -/* - * Needham-Schroeder protocol - */ - -// PKI infrastructure - -const pk: Function; -secret sk: Function; -inversekeys (pk,sk); - -// The protocol description - -protocol ns3(I,R) -{ - role I - { - const ni: Nonce; - var nr: Nonce; - knows pk(R); - - send_1(I,R, {I,ni}pk(R) ); - read_2(R,I, {ni,nr}pk(I) ); - send_3(I,R, {nr}pk(R) ); - - claim_i1(I,Secret,ni); - claim_i2(I,Secret,nr); - claim_i3(I,Niagree); - claim_i4(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_r1(R,Secret,ni); - claim_r2(R,Secret,nr); - claim_r3(R,Niagree); - claim_r4(R,Nisynch); - } -} - -// An untrusted agent, with leaked information - -const Eve: Agent; -untrusted Eve; -compromised sk(Eve); - diff --git a/gui/scythergui-default.spdl b/gui/scythergui-default.spdl deleted file mode 100644 index caef79c..0000000 --- a/gui/scythergui-default.spdl +++ /dev/null @@ -1,51 +0,0 @@ -/* - * Needham-Schroeder protocol - */ - -// PKI infrastructure - -const pk: Function; -secret sk: Function; -inversekeys (pk,sk); - -// The protocol description - -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_i1(I,Secret,ni); - claim_i2(I,Secret,nr); - claim_i3(I,Niagree); - claim_i4(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_r1(R,Secret,ni); - claim_r2(R,Secret,nr); - claim_r3(R,Niagree); - claim_r4(R,Nisynch); - } -} - -// An untrusted agent, with leaked information - -const Eve: Agent; -untrusted Eve; -compromised sk(Eve); -