Skip to content
Latest commit f9a34f4 Jan 8, 2014 @cascremers BUGFIX: Updating hashfunction usage in protocol files to new conventi…
…ons.

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.
..
Failed to load latest commit information.
Demo Cleanup and restructuring of testing directory setup. Nov 15, 2012
IEEE-WIMAX Added Wimax models from compositionality paper. Nov 27, 2012
IKE BUGFIX: Updating hashfunction usage in protocol files to new conventi… Jan 8, 2014
ISO-9798 Added ISO/IEC 9798 models. Nov 15, 2012
MultiProtocolAttacks More 'read'->'recv' conversion. Apr 26, 2012
multi-NSL Cleanup and restructuring of testing directory setup. Nov 15, 2012
NotModelled.txt - SPORE moved into gui directory by default. May 19, 2007
andrew-ban-concrete.spdl More 'read'->'recv' conversion. Apr 26, 2012
andrew-ban.spdl More 'read'->'recv' conversion. Apr 26, 2012
andrew-lowe-ban.spdl More 'read'->'recv' conversion. Apr 26, 2012
andrew.spdl More 'read'->'recv' conversion. Apr 26, 2012
ccitt509-1.spdl More 'read'->'recv' conversion. Apr 26, 2012
ccitt509-1c.spdl Fixed obsolete notation in protocol specification files. Jun 12, 2012
ccitt509-3.spdl More 'read'->'recv' conversion. Apr 26, 2012
ccitt509-ban3.spdl Fixed obsolete notation in protocol specification files. Jun 12, 2012
denning-sacco-lowe.spdl Updated Denning-Sacco-Lowe note. Aug 23, 2013
denning-sacco.spdl More 'read'->'recv' conversion. Apr 26, 2012
kaochow-v2.spdl More 'read'->'recv' conversion. Apr 26, 2012
kaochow-v3.spdl More 'read'->'recv' conversion. Apr 26, 2012
kaochow.spdl More 'read'->'recv' conversion. Apr 26, 2012
ksl-lowe.spdl More 'read'->'recv' conversion. Apr 26, 2012
ksl.spdl More 'read'->'recv' conversion. Apr 26, 2012
needham-schroeder-lowe.spdl More 'read'->'recv' conversion. Apr 26, 2012
needham-schroeder-sk-amend.spdl More 'read'->'recv' conversion. Apr 26, 2012
needham-schroeder-sk.spdl More 'read'->'recv' conversion. Apr 26, 2012
needham-schroeder.spdl More 'read'->'recv' conversion. Apr 26, 2012
neumannstub-guttman-hwang.spdl More 'read'->'recv' conversion. Apr 26, 2012
neumannstub-guttman.spdl More 'read'->'recv' conversion. Apr 26, 2012
neumannstub-hwang.spdl More 'read'->'recv' conversion. Apr 26, 2012
neumannstub-keycompromise.spdl More 'read'->'recv' conversion. Apr 26, 2012
neumannstub.spdl More 'read'->'recv' conversion. Apr 26, 2012
otwayrees.spdl More 'read'->'recv' conversion. Apr 26, 2012
smartright.spdl More 'read'->'recv' conversion. Apr 26, 2012
splice-as-cj.spdl More 'read'->'recv' conversion. Apr 26, 2012
splice-as-hc.spdl More 'read'->'recv' conversion. Apr 26, 2012
splice-as.spdl More 'read'->'recv' conversion. Apr 26, 2012
tmn.spdl More 'read'->'recv' conversion. Apr 26, 2012
wmf-lowe.spdl More 'read'->'recv' conversion. Apr 26, 2012
wmf.spdl More 'read'->'recv' conversion. Apr 26, 2012
woo-lam-pi-1.spdl More 'read'->'recv' conversion. Apr 26, 2012
woo-lam-pi-2.spdl More 'read'->'recv' conversion. Apr 26, 2012
woo-lam-pi-3.spdl More 'read'->'recv' conversion. Apr 26, 2012
woo-lam-pi-f.spdl More 'read'->'recv' conversion. Apr 26, 2012
woo-lam-pi.spdl More 'read'->'recv' conversion. Apr 26, 2012
woo-lam.spdl More 'read'->'recv' conversion. Apr 26, 2012
yahalom-ban.spdl More 'read'->'recv' conversion. Apr 26, 2012
yahalom-lowe.spdl More 'read'->'recv' conversion. Apr 26, 2012
yahalom-paulson.spdl More 'read'->'recv' conversion. Apr 26, 2012
yahalom.spdl More 'read'->'recv' conversion. Apr 26, 2012
Something went wrong with that request. Please try again.