scyther/spdl
2004-10-14 14:34:47 +00:00
..
andrew-ban.spdl - Added andrew-ban and made the naming more consistent. 2004-10-13 12:25:01 +00:00
andrew-lowe-ban.spdl - Added andrew-ban and made the naming more consistent. 2004-10-13 12:25:01 +00:00
bke-broken.spdl - Added BKE versions used in secrecy reduction article. 2004-07-13 19:36:13 +00:00
bke-one.spdl - Testing to see what the gains are of using one regular agent. Turns 2004-09-07 10:20:20 +00:00
bke-ordertest.spdl - Added a new test. 2004-08-30 06:06:37 +00:00
bke-synch.spdl - Added a new counter ref version. 2004-09-02 13:50:45 +00:00
bke.spdl - Fixed claim labelling. 2004-10-13 12:23:55 +00:00
bkepk-ce2.spdl - This is required as well. 2004-03-10 07:19:27 +00:00
bkepk-ce.spdl - Modified for better table compared speedtest. 2004-03-08 07:35:47 +00:00
bkepk.spdl - Fixed 2 protocols. 2004-06-12 13:10:17 +00:00
broken1.spdl - Better names. 2004-04-01 10:05:00 +00:00
carkey-broken-limited.spdl - Distinguishing example for prec sets computation; try using --pp=100, 2004-07-25 15:29:03 +00:00
carkey-broken.spdl - First files with ni-synch claims. 2004-06-16 15:43:55 +00:00
carkey-ni2.spdl - First files with ni-synch claims. 2004-06-16 15:43:55 +00:00
carkey-ni.spdl - First files with ni-synch claims. 2004-06-16 15:43:55 +00:00
ccitt509-ban.spdl - Added protocol. 2004-08-30 14:30:17 +00:00
five-run-bound.spdl - Testing with this protocol didn't yet reveal the desired behaviour, as 2004-09-01 20:24:39 +00:00
helloworld.spdl - Fixed 2 protocols. 2004-06-12 13:10:17 +00:00
kaochow-palm.spdl - Fixed kaochow - Niek Palm version. 2004-08-30 22:12:18 +00:00
kaochow.spdl - Added original Kao-Chow protocol. There is something strange with the 2004-10-13 12:55:23 +00:00
mp.sh - This script now only outputs summary to stdout. 2004-10-14 11:52:13 +00:00
notes.txt Initial revision 2004-02-20 11:37:28 +00:00
ns3-brutus.spdl - Updates for the new claims stuff. 2004-02-22 13:16:53 +00:00
ns3-extreme.spdl - Fixed some old notation. 2004-07-13 11:37:45 +00:00
ns3-nisynch.spdl - Added two files for nisynch testing. 2004-07-21 13:11:36 +00:00
ns3-var.spdl - Updates for the new claims stuff. 2004-02-22 13:16:53 +00:00
ns3.spdl - Improvements in the scenarios. 2004-08-27 19:08:31 +00:00
nsl3-2m.spdl - I can't remember why I needed this protocol, but here goes. 2004-10-13 13:29:38 +00:00
nsl3-nisynch-rep.spdl - Improvements in the scenarios. 2004-08-27 19:08:31 +00:00
nsl3-nisynch.spdl - Improvements in the scenarios. 2004-08-27 19:08:31 +00:00
nsl3-var.spdl - Updates for the new claims stuff. 2004-02-22 13:16:53 +00:00
nsl3.spdl - Added Nisynch claims. 2004-10-14 11:51:49 +00:00
nsl7.spdl - Updates for the new claims stuff. 2004-02-22 13:16:53 +00:00
onetrace.spdl A minimal protocol for testing the partial order reductions. 2004-03-03 18:59:23 +00:00
otwayrees.spdl - Improved these scenarios. 2004-08-31 14:32:31 +00:00
samasc-broken.spdl - Counterexample for Bart's logic. 2004-10-06 09:10:04 +00:00
simplest.spdl - 'Simplest' protocol that shows postponing effort. 2004-03-09 16:07:02 +00:00
soph-keyexch.spdl - Added protocols for Bertinoro VODCA talk. 2004-09-10 07:46:00 +00:00
soph.spdl - Added protocols for Bertinoro VODCA talk. 2004-09-10 07:46:00 +00:00
speedtest.spdl - Update for new claims. 2004-02-22 13:05:59 +00:00
splice-as.spdl - Added the splice-AS protocol. The modelchecker finds an attack, but 2004-10-14 14:22:59 +00:00
test-clp.sh - Fixed some changed paths. 2004-04-23 12:59:25 +00:00
test.sh - Fixed some changed paths. 2004-04-23 12:59:25 +00:00
tls-paulson.spdl - Added claim label. 2004-08-31 14:35:47 +00:00
tmn.spdl - Fixed some agent issue. 2004-10-13 12:23:35 +00:00
wmf-brutus.spdl - Fixed a claim label. 2004-10-13 12:23:05 +00:00
woolam-ce.spdl - Modified everything for explicit usertype declarations. 2004-02-22 15:22:19 +00:00
woolam-cmv.spdl - Fixed a claim role. 2004-10-14 14:34:47 +00:00
yahalom-ban.spdl - Improved these scenarios. 2004-08-31 14:32:31 +00:00
yahalom-lowe.spdl - Added a new test. 2004-08-30 06:06:37 +00:00
yahalom.spdl - Fixed claim labelling. 2004-10-13 12:24:34 +00:00