From 6642782b0d148d47d3df85318e4f03c42d1a8848 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Thu, 15 Nov 2012 13:40:14 +0100 Subject: [PATCH] Moved development protocol files to a better named directory. --- README.md | 2 +- {protocols => testing/protocols}/Demo/ns3.spdl | 0 {protocols => testing/protocols}/Demo/nsl3-broken.spdl | 0 {protocols => testing/protocols}/Demo/nsl3-updated-both.spdl | 0 {protocols => testing/protocols}/Demo/nsl3.spdl | 0 {protocols => testing/protocols}/misc/2r890-ex3-a.spdl | 0 {protocols => testing/protocols}/misc/2r890-ex3-b.spdl | 0 {protocols => testing/protocols}/misc/README.txt | 0 {protocols => testing/protocols}/misc/andrew-ban.spdl | 0 {protocols => testing/protocols}/misc/andrew-lowe-ban.spdl | 0 {protocols => testing/protocols}/misc/athena-breaker.spdl | 0 {protocols => testing/protocols}/misc/bke-broken.spdl | 0 {protocols => testing/protocols}/misc/bke-one.spdl | 0 {protocols => testing/protocols}/misc/bke-variation.spdl | 0 {protocols => testing/protocols}/misc/bke.spdl | 0 {protocols => testing/protocols}/misc/bkepk-ce.spdl | 0 {protocols => testing/protocols}/misc/bkepk-ce2.spdl | 0 {protocols => testing/protocols}/misc/boyd-nsl-fix.spdl | 0 {protocols => testing/protocols}/misc/boyd.spdl | 0 {protocols => testing/protocols}/misc/broken1.spdl | 0 {protocols => testing/protocols}/misc/bunava-1-3.spdl | 0 {protocols => testing/protocols}/misc/bunava-1-4.spdl | 0 {protocols => testing/protocols}/misc/bunava-2-3.spdl | 0 {protocols => testing/protocols}/misc/bunava-2-4.spdl | 0 .../protocols}/misc/carkey-broken-limited.spdl | 0 {protocols => testing/protocols}/misc/carkey-broken.spdl | 0 {protocols => testing/protocols}/misc/carkey-ni.spdl | 0 {protocols => testing/protocols}/misc/carkey-ni2.spdl | 0 {protocols => testing/protocols}/misc/ccitt509-ban.spdl | 0 .../protocols}/misc/compositionality-examples/th-1.spdl | 0 .../protocols}/misc/compositionality-examples/th-1par2.spdl | 0 .../misc/compositionality-examples/th-1seq2-rename-ni.spdl | 0 .../misc/compositionality-examples/th-1seq2-rename-nr.spdl | 0 .../protocols}/misc/compositionality-examples/th-1seq2.spdl | 0 .../protocols}/misc/compositionality-examples/th-2.spdl | 0 {protocols => testing/protocols}/misc/denning-sacco-shared.spdl | 0 {protocols => testing/protocols}/misc/f4.spdl | 0 {protocols => testing/protocols}/misc/f5.spdl | 0 {protocols => testing/protocols}/misc/ffgg_n/ffgg_n.py | 0 {protocols => testing/protocols}/misc/five-run-bound.spdl | 0 {protocols => testing/protocols}/misc/fourway-HSDDM05.cpp | 0 {protocols => testing/protocols}/misc/fourway-HSDDM05.spdl | 0 {protocols => testing/protocols}/misc/gong-nonce-b.spdl | 0 {protocols => testing/protocols}/misc/gong-nonce.spdl | 0 {protocols => testing/protocols}/misc/helloworld.spdl | 0 {protocols => testing/protocols}/misc/ibe-ns.spdl | 0 {protocols => testing/protocols}/misc/ibe.spdl | 0 {protocols => testing/protocols}/misc/isoiec11770-2-13.spdl | 0 {protocols => testing/protocols}/misc/kaochow-palm.spdl | 0 {protocols => testing/protocols}/misc/kaochow-v2.spdl | 0 {protocols => testing/protocols}/misc/kaochow-v3.spdl | 0 {protocols => testing/protocols}/misc/kaochow.spdl | 0 {protocols => testing/protocols}/misc/kerberos-rddm.spdl | 0 {protocols => testing/protocols}/misc/ksl.spdl | 0 {protocols => testing/protocols}/misc/localclaims-breaker.spdl | 0 {protocols => testing/protocols}/misc/localclaims-seq1.spdl | 0 {protocols => testing/protocols}/misc/localclaims.spdl | 0 {protocols => testing/protocols}/misc/ns-symmetric-amended.spdl | 0 {protocols => testing/protocols}/misc/ns-symmetric.spdl | 0 {protocols => testing/protocols}/misc/ns3-brutus.spdl | 0 {protocols => testing/protocols}/misc/ns3.spdl | 0 {protocols => testing/protocols}/misc/nsl3-nisynch-rep.spdl | 0 {protocols => testing/protocols}/misc/nsl3.spdl | 0 {protocols => testing/protocols}/misc/nst1.spdl | 0 {protocols => testing/protocols}/misc/nst2.spdl | 0 {protocols => testing/protocols}/misc/onetrace.spdl | 0 {protocols => testing/protocols}/misc/otwayrees.spdl | 0 {protocols => testing/protocols}/misc/protocol-list.txt | 0 {protocols => testing/protocols}/misc/samasc-broken.spdl | 0 {protocols => testing/protocols}/misc/simplest.spdl | 0 {protocols => testing/protocols}/misc/soph-keyexch.spdl | 0 {protocols => testing/protocols}/misc/soph.spdl | 0 {protocols => testing/protocols}/misc/spdl-defaults.inc | 0 {protocols => testing/protocols}/misc/spdl-intruder.inc | 0 {protocols => testing/protocols}/misc/speedtest.spdl | 0 {protocols => testing/protocols}/misc/splice-as-hc-cj.spdl | 0 {protocols => testing/protocols}/misc/splice-as-hc.spdl | 0 {protocols => testing/protocols}/misc/splice-as.spdl | 0 {protocols => testing/protocols}/misc/tls/tls-BM-1.m4 | 0 {protocols => testing/protocols}/misc/tls/tls-BM-1.spdl | 0 {protocols => testing/protocols}/misc/tls/tls-HSDDM05-2.cpp | 0 {protocols => testing/protocols}/misc/tls/tls-HSDDM05-2.spdl | 0 {protocols => testing/protocols}/misc/tls/tls-HSDDM05-fix.cpp | 0 {protocols => testing/protocols}/misc/tls/tls-HSDDM05-fix.m4 | 0 {protocols => testing/protocols}/misc/tls/tls-HSDDM05-fix.spdl | 0 {protocols => testing/protocols}/misc/tls/tls-HSDDM05.cpp | 0 {protocols => testing/protocols}/misc/tls/tls-HSDDM05.spdl | 0 .../protocols}/misc/tls/tls-paulson-avispa.cpp | 0 .../protocols}/misc/tls/tls-paulson-avispa.spdl | 0 {protocols => testing/protocols}/misc/tls/tls-paulson.cpp | 0 {protocols => testing/protocols}/misc/tls/tls-paulson.spdl | 0 {protocols => testing/protocols}/misc/tmn-Gijs.spdl | 0 {protocols => testing/protocols}/misc/tmn.spdl | 0 {protocols => testing/protocols}/misc/unknown2.spdl | 0 {protocols => testing/protocols}/misc/wmf-brutus.spdl | 0 {protocols => testing/protocols}/misc/woolam-cmv.spdl | 0 {protocols => testing/protocols}/misc/woolam-pi-f.spdl | 0 {protocols => testing/protocols}/misc/yahalom-ban.spdl | 0 {protocols => testing/protocols}/misc/yahalom-lowe.spdl | 0 {protocols => testing/protocols}/misc/yahalom-paulson.spdl | 0 .../protocols}/multiparty/heuristics-results.txt | 0 {protocols => testing/protocols}/multiparty/mnsl-results.txt | 0 .../protocols}/multiparty/multinsl-generator.py | 0 {protocols => testing/protocols}/multiparty/test-heuristics.py | 0 {protocols => testing/protocols}/multiparty/test-variants.py | 0 105 files changed, 1 insertion(+), 1 deletion(-) rename {protocols => testing/protocols}/Demo/ns3.spdl (100%) rename {protocols => testing/protocols}/Demo/nsl3-broken.spdl (100%) rename {protocols => testing/protocols}/Demo/nsl3-updated-both.spdl (100%) rename {protocols => testing/protocols}/Demo/nsl3.spdl (100%) rename {protocols => testing/protocols}/misc/2r890-ex3-a.spdl (100%) rename {protocols => testing/protocols}/misc/2r890-ex3-b.spdl (100%) rename {protocols => testing/protocols}/misc/README.txt (100%) rename {protocols => testing/protocols}/misc/andrew-ban.spdl (100%) rename {protocols => testing/protocols}/misc/andrew-lowe-ban.spdl (100%) rename {protocols => testing/protocols}/misc/athena-breaker.spdl (100%) rename {protocols => testing/protocols}/misc/bke-broken.spdl (100%) rename {protocols => testing/protocols}/misc/bke-one.spdl (100%) rename {protocols => testing/protocols}/misc/bke-variation.spdl (100%) rename {protocols => testing/protocols}/misc/bke.spdl (100%) rename {protocols => testing/protocols}/misc/bkepk-ce.spdl (100%) rename {protocols => testing/protocols}/misc/bkepk-ce2.spdl (100%) rename {protocols => testing/protocols}/misc/boyd-nsl-fix.spdl (100%) rename {protocols => testing/protocols}/misc/boyd.spdl (100%) rename {protocols => testing/protocols}/misc/broken1.spdl (100%) rename {protocols => testing/protocols}/misc/bunava-1-3.spdl (100%) rename {protocols => testing/protocols}/misc/bunava-1-4.spdl (100%) rename {protocols => testing/protocols}/misc/bunava-2-3.spdl (100%) rename {protocols => testing/protocols}/misc/bunava-2-4.spdl (100%) rename {protocols => testing/protocols}/misc/carkey-broken-limited.spdl (100%) rename {protocols => testing/protocols}/misc/carkey-broken.spdl (100%) rename {protocols => testing/protocols}/misc/carkey-ni.spdl (100%) rename {protocols => testing/protocols}/misc/carkey-ni2.spdl (100%) rename {protocols => testing/protocols}/misc/ccitt509-ban.spdl (100%) rename {protocols => testing/protocols}/misc/compositionality-examples/th-1.spdl (100%) rename {protocols => testing/protocols}/misc/compositionality-examples/th-1par2.spdl (100%) rename {protocols => testing/protocols}/misc/compositionality-examples/th-1seq2-rename-ni.spdl (100%) rename {protocols => testing/protocols}/misc/compositionality-examples/th-1seq2-rename-nr.spdl (100%) rename {protocols => testing/protocols}/misc/compositionality-examples/th-1seq2.spdl (100%) rename {protocols => testing/protocols}/misc/compositionality-examples/th-2.spdl (100%) rename {protocols => testing/protocols}/misc/denning-sacco-shared.spdl (100%) rename {protocols => testing/protocols}/misc/f4.spdl (100%) rename {protocols => testing/protocols}/misc/f5.spdl (100%) rename {protocols => testing/protocols}/misc/ffgg_n/ffgg_n.py (100%) rename {protocols => testing/protocols}/misc/five-run-bound.spdl (100%) rename {protocols => testing/protocols}/misc/fourway-HSDDM05.cpp (100%) rename {protocols => testing/protocols}/misc/fourway-HSDDM05.spdl (100%) rename {protocols => testing/protocols}/misc/gong-nonce-b.spdl (100%) rename {protocols => testing/protocols}/misc/gong-nonce.spdl (100%) rename {protocols => testing/protocols}/misc/helloworld.spdl (100%) rename {protocols => testing/protocols}/misc/ibe-ns.spdl (100%) rename {protocols => testing/protocols}/misc/ibe.spdl (100%) rename {protocols => testing/protocols}/misc/isoiec11770-2-13.spdl (100%) rename {protocols => testing/protocols}/misc/kaochow-palm.spdl (100%) rename {protocols => testing/protocols}/misc/kaochow-v2.spdl (100%) rename {protocols => testing/protocols}/misc/kaochow-v3.spdl (100%) rename {protocols => testing/protocols}/misc/kaochow.spdl (100%) rename {protocols => testing/protocols}/misc/kerberos-rddm.spdl (100%) rename {protocols => testing/protocols}/misc/ksl.spdl (100%) rename {protocols => testing/protocols}/misc/localclaims-breaker.spdl (100%) rename {protocols => testing/protocols}/misc/localclaims-seq1.spdl (100%) rename {protocols => testing/protocols}/misc/localclaims.spdl (100%) rename {protocols => testing/protocols}/misc/ns-symmetric-amended.spdl (100%) rename {protocols => testing/protocols}/misc/ns-symmetric.spdl (100%) rename {protocols => testing/protocols}/misc/ns3-brutus.spdl (100%) rename {protocols => testing/protocols}/misc/ns3.spdl (100%) rename {protocols => testing/protocols}/misc/nsl3-nisynch-rep.spdl (100%) rename {protocols => testing/protocols}/misc/nsl3.spdl (100%) rename {protocols => testing/protocols}/misc/nst1.spdl (100%) rename {protocols => testing/protocols}/misc/nst2.spdl (100%) rename {protocols => testing/protocols}/misc/onetrace.spdl (100%) rename {protocols => testing/protocols}/misc/otwayrees.spdl (100%) rename {protocols => testing/protocols}/misc/protocol-list.txt (100%) rename {protocols => testing/protocols}/misc/samasc-broken.spdl (100%) rename {protocols => testing/protocols}/misc/simplest.spdl (100%) rename {protocols => testing/protocols}/misc/soph-keyexch.spdl (100%) rename {protocols => testing/protocols}/misc/soph.spdl (100%) rename {protocols => testing/protocols}/misc/spdl-defaults.inc (100%) rename {protocols => testing/protocols}/misc/spdl-intruder.inc (100%) rename {protocols => testing/protocols}/misc/speedtest.spdl (100%) rename {protocols => testing/protocols}/misc/splice-as-hc-cj.spdl (100%) rename {protocols => testing/protocols}/misc/splice-as-hc.spdl (100%) rename {protocols => testing/protocols}/misc/splice-as.spdl (100%) rename {protocols => testing/protocols}/misc/tls/tls-BM-1.m4 (100%) rename {protocols => testing/protocols}/misc/tls/tls-BM-1.spdl (100%) rename {protocols => testing/protocols}/misc/tls/tls-HSDDM05-2.cpp (100%) rename {protocols => testing/protocols}/misc/tls/tls-HSDDM05-2.spdl (100%) rename {protocols => testing/protocols}/misc/tls/tls-HSDDM05-fix.cpp (100%) rename {protocols => testing/protocols}/misc/tls/tls-HSDDM05-fix.m4 (100%) rename {protocols => testing/protocols}/misc/tls/tls-HSDDM05-fix.spdl (100%) rename {protocols => testing/protocols}/misc/tls/tls-HSDDM05.cpp (100%) rename {protocols => testing/protocols}/misc/tls/tls-HSDDM05.spdl (100%) rename {protocols => testing/protocols}/misc/tls/tls-paulson-avispa.cpp (100%) rename {protocols => testing/protocols}/misc/tls/tls-paulson-avispa.spdl (100%) rename {protocols => testing/protocols}/misc/tls/tls-paulson.cpp (100%) rename {protocols => testing/protocols}/misc/tls/tls-paulson.spdl (100%) rename {protocols => testing/protocols}/misc/tmn-Gijs.spdl (100%) rename {protocols => testing/protocols}/misc/tmn.spdl (100%) rename {protocols => testing/protocols}/misc/unknown2.spdl (100%) rename {protocols => testing/protocols}/misc/wmf-brutus.spdl (100%) rename {protocols => testing/protocols}/misc/woolam-cmv.spdl (100%) rename {protocols => testing/protocols}/misc/woolam-pi-f.spdl (100%) rename {protocols => testing/protocols}/misc/yahalom-ban.spdl (100%) rename {protocols => testing/protocols}/misc/yahalom-lowe.spdl (100%) rename {protocols => testing/protocols}/misc/yahalom-paulson.spdl (100%) rename {protocols => testing/protocols}/multiparty/heuristics-results.txt (100%) rename {protocols => testing/protocols}/multiparty/mnsl-results.txt (100%) rename {protocols => testing/protocols}/multiparty/multinsl-generator.py (100%) rename {protocols => testing/protocols}/multiparty/test-heuristics.py (100%) rename {protocols => testing/protocols}/multiparty/test-variants.py (100%) diff --git a/README.md b/README.md index 7d4d171..d2ae735 100644 --- a/README.md +++ b/README.md @@ -62,7 +62,7 @@ Protocol Models The protocol models have the extension `.spdl` and can be found in the following directories: * `./gui/Protocols`, containing the officially released models, and - * `./protocols`, containing models currently under development. + * `./testing/protocols`, containing models currently under development. License ------- diff --git a/protocols/Demo/ns3.spdl b/testing/protocols/Demo/ns3.spdl similarity index 100% rename from protocols/Demo/ns3.spdl rename to testing/protocols/Demo/ns3.spdl diff --git a/protocols/Demo/nsl3-broken.spdl b/testing/protocols/Demo/nsl3-broken.spdl similarity index 100% rename from protocols/Demo/nsl3-broken.spdl rename to testing/protocols/Demo/nsl3-broken.spdl diff --git a/protocols/Demo/nsl3-updated-both.spdl b/testing/protocols/Demo/nsl3-updated-both.spdl similarity index 100% rename from protocols/Demo/nsl3-updated-both.spdl rename to testing/protocols/Demo/nsl3-updated-both.spdl diff --git a/protocols/Demo/nsl3.spdl b/testing/protocols/Demo/nsl3.spdl similarity index 100% rename from protocols/Demo/nsl3.spdl rename to testing/protocols/Demo/nsl3.spdl diff --git a/protocols/misc/2r890-ex3-a.spdl b/testing/protocols/misc/2r890-ex3-a.spdl similarity index 100% rename from protocols/misc/2r890-ex3-a.spdl rename to testing/protocols/misc/2r890-ex3-a.spdl diff --git a/protocols/misc/2r890-ex3-b.spdl b/testing/protocols/misc/2r890-ex3-b.spdl similarity index 100% rename from protocols/misc/2r890-ex3-b.spdl rename to testing/protocols/misc/2r890-ex3-b.spdl diff --git a/protocols/misc/README.txt b/testing/protocols/misc/README.txt similarity index 100% rename from protocols/misc/README.txt rename to testing/protocols/misc/README.txt diff --git a/protocols/misc/andrew-ban.spdl b/testing/protocols/misc/andrew-ban.spdl similarity index 100% rename from protocols/misc/andrew-ban.spdl rename to testing/protocols/misc/andrew-ban.spdl diff --git a/protocols/misc/andrew-lowe-ban.spdl b/testing/protocols/misc/andrew-lowe-ban.spdl similarity index 100% rename from protocols/misc/andrew-lowe-ban.spdl rename to testing/protocols/misc/andrew-lowe-ban.spdl diff --git a/protocols/misc/athena-breaker.spdl b/testing/protocols/misc/athena-breaker.spdl similarity index 100% rename from protocols/misc/athena-breaker.spdl rename to testing/protocols/misc/athena-breaker.spdl diff --git a/protocols/misc/bke-broken.spdl b/testing/protocols/misc/bke-broken.spdl similarity index 100% rename from protocols/misc/bke-broken.spdl rename to testing/protocols/misc/bke-broken.spdl diff --git a/protocols/misc/bke-one.spdl b/testing/protocols/misc/bke-one.spdl similarity index 100% rename from protocols/misc/bke-one.spdl rename to testing/protocols/misc/bke-one.spdl diff --git a/protocols/misc/bke-variation.spdl b/testing/protocols/misc/bke-variation.spdl similarity index 100% rename from protocols/misc/bke-variation.spdl rename to testing/protocols/misc/bke-variation.spdl diff --git a/protocols/misc/bke.spdl b/testing/protocols/misc/bke.spdl similarity index 100% rename from protocols/misc/bke.spdl rename to testing/protocols/misc/bke.spdl diff --git a/protocols/misc/bkepk-ce.spdl b/testing/protocols/misc/bkepk-ce.spdl similarity index 100% rename from protocols/misc/bkepk-ce.spdl rename to testing/protocols/misc/bkepk-ce.spdl diff --git a/protocols/misc/bkepk-ce2.spdl b/testing/protocols/misc/bkepk-ce2.spdl similarity index 100% rename from protocols/misc/bkepk-ce2.spdl rename to testing/protocols/misc/bkepk-ce2.spdl diff --git a/protocols/misc/boyd-nsl-fix.spdl b/testing/protocols/misc/boyd-nsl-fix.spdl similarity index 100% rename from protocols/misc/boyd-nsl-fix.spdl rename to testing/protocols/misc/boyd-nsl-fix.spdl diff --git a/protocols/misc/boyd.spdl b/testing/protocols/misc/boyd.spdl similarity index 100% rename from protocols/misc/boyd.spdl rename to testing/protocols/misc/boyd.spdl diff --git a/protocols/misc/broken1.spdl b/testing/protocols/misc/broken1.spdl similarity index 100% rename from protocols/misc/broken1.spdl rename to testing/protocols/misc/broken1.spdl diff --git a/protocols/misc/bunava-1-3.spdl b/testing/protocols/misc/bunava-1-3.spdl similarity index 100% rename from protocols/misc/bunava-1-3.spdl rename to testing/protocols/misc/bunava-1-3.spdl diff --git a/protocols/misc/bunava-1-4.spdl b/testing/protocols/misc/bunava-1-4.spdl similarity index 100% rename from protocols/misc/bunava-1-4.spdl rename to testing/protocols/misc/bunava-1-4.spdl diff --git a/protocols/misc/bunava-2-3.spdl b/testing/protocols/misc/bunava-2-3.spdl similarity index 100% rename from protocols/misc/bunava-2-3.spdl rename to testing/protocols/misc/bunava-2-3.spdl diff --git a/protocols/misc/bunava-2-4.spdl b/testing/protocols/misc/bunava-2-4.spdl similarity index 100% rename from protocols/misc/bunava-2-4.spdl rename to testing/protocols/misc/bunava-2-4.spdl diff --git a/protocols/misc/carkey-broken-limited.spdl b/testing/protocols/misc/carkey-broken-limited.spdl similarity index 100% rename from protocols/misc/carkey-broken-limited.spdl rename to testing/protocols/misc/carkey-broken-limited.spdl diff --git a/protocols/misc/carkey-broken.spdl b/testing/protocols/misc/carkey-broken.spdl similarity index 100% rename from protocols/misc/carkey-broken.spdl rename to testing/protocols/misc/carkey-broken.spdl diff --git a/protocols/misc/carkey-ni.spdl b/testing/protocols/misc/carkey-ni.spdl similarity index 100% rename from protocols/misc/carkey-ni.spdl rename to testing/protocols/misc/carkey-ni.spdl diff --git a/protocols/misc/carkey-ni2.spdl b/testing/protocols/misc/carkey-ni2.spdl similarity index 100% rename from protocols/misc/carkey-ni2.spdl rename to testing/protocols/misc/carkey-ni2.spdl diff --git a/protocols/misc/ccitt509-ban.spdl b/testing/protocols/misc/ccitt509-ban.spdl similarity index 100% rename from protocols/misc/ccitt509-ban.spdl rename to testing/protocols/misc/ccitt509-ban.spdl diff --git a/protocols/misc/compositionality-examples/th-1.spdl b/testing/protocols/misc/compositionality-examples/th-1.spdl similarity index 100% rename from protocols/misc/compositionality-examples/th-1.spdl rename to testing/protocols/misc/compositionality-examples/th-1.spdl diff --git a/protocols/misc/compositionality-examples/th-1par2.spdl b/testing/protocols/misc/compositionality-examples/th-1par2.spdl similarity index 100% rename from protocols/misc/compositionality-examples/th-1par2.spdl rename to testing/protocols/misc/compositionality-examples/th-1par2.spdl diff --git a/protocols/misc/compositionality-examples/th-1seq2-rename-ni.spdl b/testing/protocols/misc/compositionality-examples/th-1seq2-rename-ni.spdl similarity index 100% rename from protocols/misc/compositionality-examples/th-1seq2-rename-ni.spdl rename to testing/protocols/misc/compositionality-examples/th-1seq2-rename-ni.spdl diff --git a/protocols/misc/compositionality-examples/th-1seq2-rename-nr.spdl b/testing/protocols/misc/compositionality-examples/th-1seq2-rename-nr.spdl similarity index 100% rename from protocols/misc/compositionality-examples/th-1seq2-rename-nr.spdl rename to testing/protocols/misc/compositionality-examples/th-1seq2-rename-nr.spdl diff --git a/protocols/misc/compositionality-examples/th-1seq2.spdl b/testing/protocols/misc/compositionality-examples/th-1seq2.spdl similarity index 100% rename from protocols/misc/compositionality-examples/th-1seq2.spdl rename to testing/protocols/misc/compositionality-examples/th-1seq2.spdl diff --git a/protocols/misc/compositionality-examples/th-2.spdl b/testing/protocols/misc/compositionality-examples/th-2.spdl similarity index 100% rename from protocols/misc/compositionality-examples/th-2.spdl rename to testing/protocols/misc/compositionality-examples/th-2.spdl diff --git a/protocols/misc/denning-sacco-shared.spdl b/testing/protocols/misc/denning-sacco-shared.spdl similarity index 100% rename from protocols/misc/denning-sacco-shared.spdl rename to testing/protocols/misc/denning-sacco-shared.spdl diff --git a/protocols/misc/f4.spdl b/testing/protocols/misc/f4.spdl similarity index 100% rename from protocols/misc/f4.spdl rename to testing/protocols/misc/f4.spdl diff --git a/protocols/misc/f5.spdl b/testing/protocols/misc/f5.spdl similarity index 100% rename from protocols/misc/f5.spdl rename to testing/protocols/misc/f5.spdl diff --git a/protocols/misc/ffgg_n/ffgg_n.py b/testing/protocols/misc/ffgg_n/ffgg_n.py similarity index 100% rename from protocols/misc/ffgg_n/ffgg_n.py rename to testing/protocols/misc/ffgg_n/ffgg_n.py diff --git a/protocols/misc/five-run-bound.spdl b/testing/protocols/misc/five-run-bound.spdl similarity index 100% rename from protocols/misc/five-run-bound.spdl rename to testing/protocols/misc/five-run-bound.spdl diff --git a/protocols/misc/fourway-HSDDM05.cpp b/testing/protocols/misc/fourway-HSDDM05.cpp similarity index 100% rename from protocols/misc/fourway-HSDDM05.cpp rename to testing/protocols/misc/fourway-HSDDM05.cpp diff --git a/protocols/misc/fourway-HSDDM05.spdl b/testing/protocols/misc/fourway-HSDDM05.spdl similarity index 100% rename from protocols/misc/fourway-HSDDM05.spdl rename to testing/protocols/misc/fourway-HSDDM05.spdl diff --git a/protocols/misc/gong-nonce-b.spdl b/testing/protocols/misc/gong-nonce-b.spdl similarity index 100% rename from protocols/misc/gong-nonce-b.spdl rename to testing/protocols/misc/gong-nonce-b.spdl diff --git a/protocols/misc/gong-nonce.spdl b/testing/protocols/misc/gong-nonce.spdl similarity index 100% rename from protocols/misc/gong-nonce.spdl rename to testing/protocols/misc/gong-nonce.spdl diff --git a/protocols/misc/helloworld.spdl b/testing/protocols/misc/helloworld.spdl similarity index 100% rename from protocols/misc/helloworld.spdl rename to testing/protocols/misc/helloworld.spdl diff --git a/protocols/misc/ibe-ns.spdl b/testing/protocols/misc/ibe-ns.spdl similarity index 100% rename from protocols/misc/ibe-ns.spdl rename to testing/protocols/misc/ibe-ns.spdl diff --git a/protocols/misc/ibe.spdl b/testing/protocols/misc/ibe.spdl similarity index 100% rename from protocols/misc/ibe.spdl rename to testing/protocols/misc/ibe.spdl diff --git a/protocols/misc/isoiec11770-2-13.spdl b/testing/protocols/misc/isoiec11770-2-13.spdl similarity index 100% rename from protocols/misc/isoiec11770-2-13.spdl rename to testing/protocols/misc/isoiec11770-2-13.spdl diff --git a/protocols/misc/kaochow-palm.spdl b/testing/protocols/misc/kaochow-palm.spdl similarity index 100% rename from protocols/misc/kaochow-palm.spdl rename to testing/protocols/misc/kaochow-palm.spdl diff --git a/protocols/misc/kaochow-v2.spdl b/testing/protocols/misc/kaochow-v2.spdl similarity index 100% rename from protocols/misc/kaochow-v2.spdl rename to testing/protocols/misc/kaochow-v2.spdl diff --git a/protocols/misc/kaochow-v3.spdl b/testing/protocols/misc/kaochow-v3.spdl similarity index 100% rename from protocols/misc/kaochow-v3.spdl rename to testing/protocols/misc/kaochow-v3.spdl diff --git a/protocols/misc/kaochow.spdl b/testing/protocols/misc/kaochow.spdl similarity index 100% rename from protocols/misc/kaochow.spdl rename to testing/protocols/misc/kaochow.spdl diff --git a/protocols/misc/kerberos-rddm.spdl b/testing/protocols/misc/kerberos-rddm.spdl similarity index 100% rename from protocols/misc/kerberos-rddm.spdl rename to testing/protocols/misc/kerberos-rddm.spdl diff --git a/protocols/misc/ksl.spdl b/testing/protocols/misc/ksl.spdl similarity index 100% rename from protocols/misc/ksl.spdl rename to testing/protocols/misc/ksl.spdl diff --git a/protocols/misc/localclaims-breaker.spdl b/testing/protocols/misc/localclaims-breaker.spdl similarity index 100% rename from protocols/misc/localclaims-breaker.spdl rename to testing/protocols/misc/localclaims-breaker.spdl diff --git a/protocols/misc/localclaims-seq1.spdl b/testing/protocols/misc/localclaims-seq1.spdl similarity index 100% rename from protocols/misc/localclaims-seq1.spdl rename to testing/protocols/misc/localclaims-seq1.spdl diff --git a/protocols/misc/localclaims.spdl b/testing/protocols/misc/localclaims.spdl similarity index 100% rename from protocols/misc/localclaims.spdl rename to testing/protocols/misc/localclaims.spdl diff --git a/protocols/misc/ns-symmetric-amended.spdl b/testing/protocols/misc/ns-symmetric-amended.spdl similarity index 100% rename from protocols/misc/ns-symmetric-amended.spdl rename to testing/protocols/misc/ns-symmetric-amended.spdl diff --git a/protocols/misc/ns-symmetric.spdl b/testing/protocols/misc/ns-symmetric.spdl similarity index 100% rename from protocols/misc/ns-symmetric.spdl rename to testing/protocols/misc/ns-symmetric.spdl diff --git a/protocols/misc/ns3-brutus.spdl b/testing/protocols/misc/ns3-brutus.spdl similarity index 100% rename from protocols/misc/ns3-brutus.spdl rename to testing/protocols/misc/ns3-brutus.spdl diff --git a/protocols/misc/ns3.spdl b/testing/protocols/misc/ns3.spdl similarity index 100% rename from protocols/misc/ns3.spdl rename to testing/protocols/misc/ns3.spdl diff --git a/protocols/misc/nsl3-nisynch-rep.spdl b/testing/protocols/misc/nsl3-nisynch-rep.spdl similarity index 100% rename from protocols/misc/nsl3-nisynch-rep.spdl rename to testing/protocols/misc/nsl3-nisynch-rep.spdl diff --git a/protocols/misc/nsl3.spdl b/testing/protocols/misc/nsl3.spdl similarity index 100% rename from protocols/misc/nsl3.spdl rename to testing/protocols/misc/nsl3.spdl diff --git a/protocols/misc/nst1.spdl b/testing/protocols/misc/nst1.spdl similarity index 100% rename from protocols/misc/nst1.spdl rename to testing/protocols/misc/nst1.spdl diff --git a/protocols/misc/nst2.spdl b/testing/protocols/misc/nst2.spdl similarity index 100% rename from protocols/misc/nst2.spdl rename to testing/protocols/misc/nst2.spdl diff --git a/protocols/misc/onetrace.spdl b/testing/protocols/misc/onetrace.spdl similarity index 100% rename from protocols/misc/onetrace.spdl rename to testing/protocols/misc/onetrace.spdl diff --git a/protocols/misc/otwayrees.spdl b/testing/protocols/misc/otwayrees.spdl similarity index 100% rename from protocols/misc/otwayrees.spdl rename to testing/protocols/misc/otwayrees.spdl diff --git a/protocols/misc/protocol-list.txt b/testing/protocols/misc/protocol-list.txt similarity index 100% rename from protocols/misc/protocol-list.txt rename to testing/protocols/misc/protocol-list.txt diff --git a/protocols/misc/samasc-broken.spdl b/testing/protocols/misc/samasc-broken.spdl similarity index 100% rename from protocols/misc/samasc-broken.spdl rename to testing/protocols/misc/samasc-broken.spdl diff --git a/protocols/misc/simplest.spdl b/testing/protocols/misc/simplest.spdl similarity index 100% rename from protocols/misc/simplest.spdl rename to testing/protocols/misc/simplest.spdl diff --git a/protocols/misc/soph-keyexch.spdl b/testing/protocols/misc/soph-keyexch.spdl similarity index 100% rename from protocols/misc/soph-keyexch.spdl rename to testing/protocols/misc/soph-keyexch.spdl diff --git a/protocols/misc/soph.spdl b/testing/protocols/misc/soph.spdl similarity index 100% rename from protocols/misc/soph.spdl rename to testing/protocols/misc/soph.spdl diff --git a/protocols/misc/spdl-defaults.inc b/testing/protocols/misc/spdl-defaults.inc similarity index 100% rename from protocols/misc/spdl-defaults.inc rename to testing/protocols/misc/spdl-defaults.inc diff --git a/protocols/misc/spdl-intruder.inc b/testing/protocols/misc/spdl-intruder.inc similarity index 100% rename from protocols/misc/spdl-intruder.inc rename to testing/protocols/misc/spdl-intruder.inc diff --git a/protocols/misc/speedtest.spdl b/testing/protocols/misc/speedtest.spdl similarity index 100% rename from protocols/misc/speedtest.spdl rename to testing/protocols/misc/speedtest.spdl diff --git a/protocols/misc/splice-as-hc-cj.spdl b/testing/protocols/misc/splice-as-hc-cj.spdl similarity index 100% rename from protocols/misc/splice-as-hc-cj.spdl rename to testing/protocols/misc/splice-as-hc-cj.spdl diff --git a/protocols/misc/splice-as-hc.spdl b/testing/protocols/misc/splice-as-hc.spdl similarity index 100% rename from protocols/misc/splice-as-hc.spdl rename to testing/protocols/misc/splice-as-hc.spdl diff --git a/protocols/misc/splice-as.spdl b/testing/protocols/misc/splice-as.spdl similarity index 100% rename from protocols/misc/splice-as.spdl rename to testing/protocols/misc/splice-as.spdl diff --git a/protocols/misc/tls/tls-BM-1.m4 b/testing/protocols/misc/tls/tls-BM-1.m4 similarity index 100% rename from protocols/misc/tls/tls-BM-1.m4 rename to testing/protocols/misc/tls/tls-BM-1.m4 diff --git a/protocols/misc/tls/tls-BM-1.spdl b/testing/protocols/misc/tls/tls-BM-1.spdl similarity index 100% rename from protocols/misc/tls/tls-BM-1.spdl rename to testing/protocols/misc/tls/tls-BM-1.spdl diff --git a/protocols/misc/tls/tls-HSDDM05-2.cpp b/testing/protocols/misc/tls/tls-HSDDM05-2.cpp similarity index 100% rename from protocols/misc/tls/tls-HSDDM05-2.cpp rename to testing/protocols/misc/tls/tls-HSDDM05-2.cpp diff --git a/protocols/misc/tls/tls-HSDDM05-2.spdl b/testing/protocols/misc/tls/tls-HSDDM05-2.spdl similarity index 100% rename from protocols/misc/tls/tls-HSDDM05-2.spdl rename to testing/protocols/misc/tls/tls-HSDDM05-2.spdl diff --git a/protocols/misc/tls/tls-HSDDM05-fix.cpp b/testing/protocols/misc/tls/tls-HSDDM05-fix.cpp similarity index 100% rename from protocols/misc/tls/tls-HSDDM05-fix.cpp rename to testing/protocols/misc/tls/tls-HSDDM05-fix.cpp diff --git a/protocols/misc/tls/tls-HSDDM05-fix.m4 b/testing/protocols/misc/tls/tls-HSDDM05-fix.m4 similarity index 100% rename from protocols/misc/tls/tls-HSDDM05-fix.m4 rename to testing/protocols/misc/tls/tls-HSDDM05-fix.m4 diff --git a/protocols/misc/tls/tls-HSDDM05-fix.spdl b/testing/protocols/misc/tls/tls-HSDDM05-fix.spdl similarity index 100% rename from protocols/misc/tls/tls-HSDDM05-fix.spdl rename to testing/protocols/misc/tls/tls-HSDDM05-fix.spdl diff --git a/protocols/misc/tls/tls-HSDDM05.cpp b/testing/protocols/misc/tls/tls-HSDDM05.cpp similarity index 100% rename from protocols/misc/tls/tls-HSDDM05.cpp rename to testing/protocols/misc/tls/tls-HSDDM05.cpp diff --git a/protocols/misc/tls/tls-HSDDM05.spdl b/testing/protocols/misc/tls/tls-HSDDM05.spdl similarity index 100% rename from protocols/misc/tls/tls-HSDDM05.spdl rename to testing/protocols/misc/tls/tls-HSDDM05.spdl diff --git a/protocols/misc/tls/tls-paulson-avispa.cpp b/testing/protocols/misc/tls/tls-paulson-avispa.cpp similarity index 100% rename from protocols/misc/tls/tls-paulson-avispa.cpp rename to testing/protocols/misc/tls/tls-paulson-avispa.cpp diff --git a/protocols/misc/tls/tls-paulson-avispa.spdl b/testing/protocols/misc/tls/tls-paulson-avispa.spdl similarity index 100% rename from protocols/misc/tls/tls-paulson-avispa.spdl rename to testing/protocols/misc/tls/tls-paulson-avispa.spdl diff --git a/protocols/misc/tls/tls-paulson.cpp b/testing/protocols/misc/tls/tls-paulson.cpp similarity index 100% rename from protocols/misc/tls/tls-paulson.cpp rename to testing/protocols/misc/tls/tls-paulson.cpp diff --git a/protocols/misc/tls/tls-paulson.spdl b/testing/protocols/misc/tls/tls-paulson.spdl similarity index 100% rename from protocols/misc/tls/tls-paulson.spdl rename to testing/protocols/misc/tls/tls-paulson.spdl diff --git a/protocols/misc/tmn-Gijs.spdl b/testing/protocols/misc/tmn-Gijs.spdl similarity index 100% rename from protocols/misc/tmn-Gijs.spdl rename to testing/protocols/misc/tmn-Gijs.spdl diff --git a/protocols/misc/tmn.spdl b/testing/protocols/misc/tmn.spdl similarity index 100% rename from protocols/misc/tmn.spdl rename to testing/protocols/misc/tmn.spdl diff --git a/protocols/misc/unknown2.spdl b/testing/protocols/misc/unknown2.spdl similarity index 100% rename from protocols/misc/unknown2.spdl rename to testing/protocols/misc/unknown2.spdl diff --git a/protocols/misc/wmf-brutus.spdl b/testing/protocols/misc/wmf-brutus.spdl similarity index 100% rename from protocols/misc/wmf-brutus.spdl rename to testing/protocols/misc/wmf-brutus.spdl diff --git a/protocols/misc/woolam-cmv.spdl b/testing/protocols/misc/woolam-cmv.spdl similarity index 100% rename from protocols/misc/woolam-cmv.spdl rename to testing/protocols/misc/woolam-cmv.spdl diff --git a/protocols/misc/woolam-pi-f.spdl b/testing/protocols/misc/woolam-pi-f.spdl similarity index 100% rename from protocols/misc/woolam-pi-f.spdl rename to testing/protocols/misc/woolam-pi-f.spdl diff --git a/protocols/misc/yahalom-ban.spdl b/testing/protocols/misc/yahalom-ban.spdl similarity index 100% rename from protocols/misc/yahalom-ban.spdl rename to testing/protocols/misc/yahalom-ban.spdl diff --git a/protocols/misc/yahalom-lowe.spdl b/testing/protocols/misc/yahalom-lowe.spdl similarity index 100% rename from protocols/misc/yahalom-lowe.spdl rename to testing/protocols/misc/yahalom-lowe.spdl diff --git a/protocols/misc/yahalom-paulson.spdl b/testing/protocols/misc/yahalom-paulson.spdl similarity index 100% rename from protocols/misc/yahalom-paulson.spdl rename to testing/protocols/misc/yahalom-paulson.spdl diff --git a/protocols/multiparty/heuristics-results.txt b/testing/protocols/multiparty/heuristics-results.txt similarity index 100% rename from protocols/multiparty/heuristics-results.txt rename to testing/protocols/multiparty/heuristics-results.txt diff --git a/protocols/multiparty/mnsl-results.txt b/testing/protocols/multiparty/mnsl-results.txt similarity index 100% rename from protocols/multiparty/mnsl-results.txt rename to testing/protocols/multiparty/mnsl-results.txt diff --git a/protocols/multiparty/multinsl-generator.py b/testing/protocols/multiparty/multinsl-generator.py similarity index 100% rename from protocols/multiparty/multinsl-generator.py rename to testing/protocols/multiparty/multinsl-generator.py diff --git a/protocols/multiparty/test-heuristics.py b/testing/protocols/multiparty/test-heuristics.py similarity index 100% rename from protocols/multiparty/test-heuristics.py rename to testing/protocols/multiparty/test-heuristics.py diff --git a/protocols/multiparty/test-variants.py b/testing/protocols/multiparty/test-variants.py similarity index 100% rename from protocols/multiparty/test-variants.py rename to testing/protocols/multiparty/test-variants.py