andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
ba513ea45d
scyther/gui/Protocols
History
Cas Cremers f9a34f4de5 BUGFIX: Updating hashfunction usage in protocol files to new conventions. 
After the new function implementation, the 'Function' type is no longer one-way by default.
However, many protocol description files relied on this implicit assumption.
The solution is to use 'hashfunction' declarations instead to model one-wayness.

Original bug report by Binh Thanh Nguyen.
2014-01-08 15:13:16 +00:00
..
Demo Cleanup and restructuring of testing directory setup. 2012-11-15 16:47:08 +01:00
IEEE-WIMAX Added Wimax models from compositionality paper. 2012-11-27 21:56:05 +01:00
IKE BUGFIX: Updating hashfunction usage in protocol files to new conventions. 2014-01-08 15:13:16 +00:00
ISO-9798 Added ISO/IEC 9798 models. 2012-11-15 12:10:06 +01:00
multi-NSL Cleanup and restructuring of testing directory setup. 2012-11-15 16:47:08 +01:00
MultiProtocolAttacks More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
andrew-ban-concrete.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
andrew-ban.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
andrew-lowe-ban.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
andrew.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
ccitt509-1.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
ccitt509-1c.spdl Fixed obsolete notation in protocol specification files. 2012-06-12 23:12:14 +02:00
ccitt509-3.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
ccitt509-ban3.spdl Fixed obsolete notation in protocol specification files. 2012-06-12 23:12:14 +02:00
denning-sacco-lowe.spdl Updated Denning-Sacco-Lowe note. 2013-08-23 15:15:19 +02:00
denning-sacco.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
kaochow-v2.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
kaochow-v3.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
kaochow.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
ksl-lowe.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
ksl.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
needham-schroeder-lowe.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
needham-schroeder-sk-amend.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
needham-schroeder-sk.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
needham-schroeder.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
neumannstub-guttman-hwang.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
neumannstub-guttman.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
neumannstub-hwang.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
neumannstub-keycompromise.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
neumannstub.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
NotModelled.txt - SPORE moved into gui directory by default. 2007-05-19 17:10:46 +02:00
otwayrees.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
smartright.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
splice-as-cj.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
splice-as-hc.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
splice-as.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
tmn.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
wmf-lowe.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
wmf.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
woo-lam-pi-1.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
woo-lam-pi-2.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
woo-lam-pi-3.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
woo-lam-pi-f.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
woo-lam-pi.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
woo-lam.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
yahalom-ban.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
yahalom-lowe.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
yahalom-paulson.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00
yahalom.spdl More 'read'->'recv' conversion. 2012-04-26 16:40:01 +02:00