2006-12-13 12:53:07 +00:00
|
|
|
---------------------
|
|
|
|
|
- Scyther changelog -
|
|
|
|
|
---------------------
|
|
|
|
|
|
2007-01-11 11:22:57 +00:00
|
|
|
Scyther 1.0-beta6
|
|
|
|
|
|
2007-01-29 16:32:35 +00:00
|
|
|
Big new features:
|
2007-01-27 10:04:18 +00:00
|
|
|
|
|
|
|
|
* [Gui] Added Mac support (added universal binary)
|
2007-01-29 16:32:35 +00:00
|
|
|
* [Gui] Switched to Scintilla editor component, providing undo
|
|
|
|
|
and line numbering.
|
|
|
|
|
|
|
|
|
|
Other new features:
|
|
|
|
|
|
|
|
|
|
* [Backend] Scyther now detects when a read event cannot match
|
|
|
|
|
with a send event. This significantly helps in reducing errors
|
|
|
|
|
in the protocol descriptions.
|
2007-01-27 10:04:18 +00:00
|
|
|
* [Language] Added claim parameter for Reachable claim;
|
|
|
|
|
Reachable,R means that role R should be trusted (as well as the
|
|
|
|
|
actor), but not any other claim. This can be useful for showing
|
|
|
|
|
stronger authentication properties of protocols with more than
|
|
|
|
|
two parties.
|
|
|
|
|
* [Backend] Added '--max-of-role=N' switch (to narrow scenarios)
|
2007-01-27 13:11:07 +00:00
|
|
|
* [Backend] Added '--scan-claims' switch (allows for retrieving
|
|
|
|
|
a list of claims)
|
|
|
|
|
* [Scripting] Added 'verifyOne' and 'scanClaims' methods to
|
|
|
|
|
Scyther object, to help with singular claim testing.
|
2007-01-27 10:04:18 +00:00
|
|
|
|
|
|
|
|
Bugfixes:
|
|
|
|
|
|
|
|
|
|
* [Scripting] Fixed bug in python interface backend (e.g. with mpa.py)
|
2007-01-11 11:22:57 +00:00
|
|
|
|
2006-12-13 12:53:07 +00:00
|
|
|
Scyther 1.0-beta5
|
|
|
|
|
|
|
|
|
|
* Change of switch semantics. '--max-attacks=N' now defines the
|
|
|
|
|
maximum number of attacks per claim. Previously this was a
|
|
|
|
|
global maximum for all claims combined.
|
|
|
|
|
* Improved attack graph output.
|
|
|
|
|
* added switch '--errors=FILE' to redirect standard error output
|
|
|
|
|
to a file.
|
|
|
|
|
* Rewrote parts of the gui code for improved stability.
|
|
|
|
|
|
|
|
|
|
Scyther 1.0-beta4
|
|
|
|
|
|
|
|
|
|
* (Changelog starts after the release of Scyther 1.0-beta4)
|
