Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

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.
latest commit f9a34f4de5
@cascremers authored
..
Failed to load latest commit information.
mpa
Makefile
common.h
ikev1-pk-a1.cpp
ikev1-pk-a1.spdl
ikev1-pk-a12.cpp
ikev1-pk-a12.spdl
ikev1-pk-a2.cpp
ikev1-pk-a2.spdl
ikev1-pk-a22.cpp
ikev1-pk-a22.spdl
ikev1-pk-m.cpp
ikev1-pk-m.spdl
ikev1-pk-m2.cpp
ikev1-pk-m2.spdl
ikev1-pk2-a.cpp
ikev1-pk2-a.spdl
ikev1-pk2-a2.cpp
ikev1-pk2-a2.spdl
ikev1-pk2-m.cpp
ikev1-pk2-m.spdl
ikev1-pk2-m2.cpp
ikev1-pk2-m2.spdl
ikev1-psk-a.cpp
ikev1-psk-a.spdl
ikev1-psk-m-perlman.cpp
ikev1-psk-m-perlman.spdl
ikev1-psk-m.cpp
ikev1-psk-m.spdl
ikev1-quick-noid.cpp
ikev1-quick-noid.spdl
ikev1-quick-nopfs.cpp
ikev1-quick-nopfs.spdl
ikev1-quick.cpp
ikev1-quick.spdl
ikev1-sig-a-perlman1.cpp
ikev1-sig-a-perlman1.spdl
ikev1-sig-a-perlman2.cpp
ikev1-sig-a-perlman2.spdl
ikev1-sig-a1.cpp
ikev1-sig-a1.spdl BUGFIX: Updating hashfunction usage in protocol files to new conventi…
ikev1-sig-a2.cpp
ikev1-sig-a2.spdl
ikev1-sig-m-perlman.cpp
ikev1-sig-m-perlman.spdl
ikev1-sig-m.cpp Added IKE base models.
ikev1-sig-m.spdl
ikev2-child-nopfs.cpp
ikev2-child-nopfs.spdl
ikev2-child.cpp
ikev2-child.spdl BUGFIX: Updating hashfunction usage in protocol files to new conventi…
ikev2-eap.cpp
ikev2-eap.spdl
ikev2-eap2.cpp
ikev2-eap2.spdl
ikev2-mac.cpp
ikev2-mac.spdl
ikev2-mac2.cpp Added IKE base models.
ikev2-mac2.spdl
ikev2-mactosig.cpp
ikev2-mactosig.spdl
ikev2-mactosig2.cpp
ikev2-mactosig2.spdl
ikev2-sig-child-composed.cpp
ikev2-sig-child-composed.spdl
ikev2-sig-child.cpp
ikev2-sig-child.spdl
ikev2-sig-child2-composed.cpp
ikev2-sig-child2-composed.spdl BUGFIX: Updating hashfunction usage in protocol files to new conventi…
ikev2-sig-child2.cpp
ikev2-sig-child2.spdl
ikev2-sig.cpp
ikev2-sig.spdl
ikev2-sig2.cpp
ikev2-sig2.spdl
ikev2-sigtomac.cpp
ikev2-sigtomac.spdl
ikev2-sigtomac2.cpp
ikev2-sigtomac2.spdl
jfki-core.cpp
jfki-core.spdl
jfki.cpp
jfki.spdl
jfkr-core.cpp
jfkr-core.spdl
jfkr.cpp
jfkr.spdl
make-mpa.py
oakley-a.cpp
oakley-a.spdl
oakley-alt.cpp
oakley-alt.spdl
oakley-c.cpp
oakley-c.spdl BUGFIX: Updating hashfunction usage in protocol files to new conventi…
pp.sh
scanner.py
skeme-basic.cpp
skeme-basic.spdl
skeme-psk.cpp
skeme-psk.spdl
skeme-rekey.cpp
skeme-rekey.spdl
sts-mac.cpp
sts-mac.spdl
sts-main.cpp
sts-main.spdl
sts-modified.cpp
sts-modified.spdl
verify.sh
verify_all.sh
Something went wrong with that request. Please try again.