diff --git a/gui/Changelog.txt b/gui/Changelog.txt index d48d51b..1b8e65b 100644 --- a/gui/Changelog.txt +++ b/gui/Changelog.txt @@ -73,7 +73,7 @@ Major new features: Additional protocol models: -See for a +See for a more high-level overview of selected protocol models. * IEEE 802.16e/WIMAX: PKMv2rsa and variants diff --git a/gui/Gui/About.py b/gui/Gui/About.py index 404a829..c600999 100644 --- a/gui/Gui/About.py +++ b/gui/Gui/About.py @@ -65,13 +65,12 @@ class AboutScyther(wx.Dialog):

For news and updates visit the Scyther pages at - - https://people.cispa.io/cas.cremers/scyther/index.html + https://cispa.saarland/group/cremers/scyther/index.html

License

Scyther : An automatic verifier for security protocols.
- Copyright (C) 2007-2020 Cas Cremers + Copyright (C) 2007-2023 Cas Cremers

This program is free software; you can redistribute it and/or diff --git a/gui/README.md b/gui/README.md index 7334b81..9665ffa 100644 --- a/gui/README.md +++ b/gui/README.md @@ -3,7 +3,7 @@ The Scyther tool Scyther is a tool for the symbolic analysis of security protocols. It is developed by Cas Cremers, and is available from -. +. The below instructions apply only to the *distribution version* of the Scyther tool. If you are working from the source files, some paths may be diff --git a/src/switches.c b/src/switches.c index e01042b..0143e75 100644 --- a/src/switches.c +++ b/src/switches.c @@ -1856,7 +1856,7 @@ process_switches (int commandline) printf ("Try '%s --help' for more information, or visit:\n", progname); printf - (" https://people.cispa.io/cas.cremers/scyther/\n"); + (" https://cispa.saarland/group/cremers/scyther/index.html\n"); exit (0); } else