scyther

andr3/scyther

Fork 0

Commit Graph

Author	SHA1	Message	Date
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
Cas Cremers	03f49d3b29	Added IKE .spdl files (auto-generated from the .cpp files) for reference.	2012-11-15 11:48:46 +01:00

Author

SHA1

Message

Date

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

Cas Cremers

03f49d3b29

Added IKE .spdl files (auto-generated from the .cpp files) for reference.

2012-11-15 11:48:46 +01:00

2 Commits