Scyther : An automatic verifier for security protocols.
- Copyright (C) 2007-2013 Cas Cremers
+ Copyright (C) 2007-2020 Cas Cremers
This program is free software; you can redistribute it and/or diff --git a/gui/Gui/Attackwindow.py b/gui/Gui/Attackwindow.py index 9c76d3d..41aa1e0 100644 --- a/gui/Gui/Attackwindow.py +++ b/gui/Gui/Attackwindow.py @@ -2,7 +2,7 @@ # 2.2+-only """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Editor.py b/gui/Gui/Editor.py index d5aeb0a..1c0c48b 100644 --- a/gui/Gui/Editor.py +++ b/gui/Gui/Editor.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Error.py b/gui/Gui/Error.py index b6b2905..af807cb 100644 --- a/gui/Gui/Error.py +++ b/gui/Gui/Error.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Icon.py b/gui/Gui/Icon.py index 2e22316..4e4d2e1 100644 --- a/gui/Gui/Icon.py +++ b/gui/Gui/Icon.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Mainwindow.py b/gui/Gui/Mainwindow.py index 5a177c0..763955d 100644 --- a/gui/Gui/Mainwindow.py +++ b/gui/Gui/Mainwindow.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Makeimage.py b/gui/Gui/Makeimage.py index 3e68939..e8d898d 100644 --- a/gui/Gui/Makeimage.py +++ b/gui/Gui/Makeimage.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Misc.py b/gui/Gui/Misc.py index 8023fc1..a77b1a7 100644 --- a/gui/Gui/Misc.py +++ b/gui/Gui/Misc.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Preference.py b/gui/Gui/Preference.py index 9949140..fcd8553 100644 --- a/gui/Gui/Preference.py +++ b/gui/Gui/Preference.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Scytherthread.py b/gui/Gui/Scytherthread.py index 22bc681..0924e85 100644 --- a/gui/Gui/Scytherthread.py +++ b/gui/Gui/Scytherthread.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Settingswindow.py b/gui/Gui/Settingswindow.py index fdd845e..1638ead 100644 --- a/gui/Gui/Settingswindow.py +++ b/gui/Gui/Settingswindow.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Temporary.py b/gui/Gui/Temporary.py index 61c2466..74d5dd5 100644 --- a/gui/Gui/Temporary.py +++ b/gui/Gui/Temporary.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Version.py b/gui/Gui/Version.py index 9eeb04b..b1a9cb9 100644 --- a/gui/Gui/Version.py +++ b/gui/Gui/Version.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/__init__.py b/gui/Gui/__init__.py index 6995b43..98d2996 100644 --- a/gui/Gui/__init__.py +++ b/gui/Gui/__init__.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scripts/regression-test.py b/gui/Scripts/regression-test.py index 201fa36..841d425 100755 --- a/gui/Scripts/regression-test.py +++ b/gui/Scripts/regression-test.py @@ -2,7 +2,7 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scripts/scytherview.py b/gui/Scripts/scytherview.py index c1a03b1..00baee9 100755 --- a/gui/Scripts/scytherview.py +++ b/gui/Scripts/scytherview.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Attack.py b/gui/Scyther/Attack.py index ac4eb75..fa98c8c 100644 --- a/gui/Scyther/Attack.py +++ b/gui/Scyther/Attack.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Claim.py b/gui/Scyther/Claim.py index 87490ae..ee8ba4d 100644 --- a/gui/Scyther/Claim.py +++ b/gui/Scyther/Claim.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Error.py b/gui/Scyther/Error.py index 88f5db8..f8de063 100644 --- a/gui/Scyther/Error.py +++ b/gui/Scyther/Error.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/FindDot.py b/gui/Scyther/FindDot.py index 077326c..ab0b195 100644 --- a/gui/Scyther/FindDot.py +++ b/gui/Scyther/FindDot.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Misc.py b/gui/Scyther/Misc.py index 6e07098..830a7a5 100644 --- a/gui/Scyther/Misc.py +++ b/gui/Scyther/Misc.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Scyther.py b/gui/Scyther/Scyther.py index 485bdf8..a5336c6 100755 --- a/gui/Scyther/Scyther.py +++ b/gui/Scyther/Scyther.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Term.py b/gui/Scyther/Term.py index 2ca17e0..af601ad 100644 --- a/gui/Scyther/Term.py +++ b/gui/Scyther/Term.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Trace.py b/gui/Scyther/Trace.py index b772d9d..4759015 100644 --- a/gui/Scyther/Trace.py +++ b/gui/Scyther/Trace.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/XMLReader.py b/gui/Scyther/XMLReader.py index b000957..f78f12a 100644 --- a/gui/Scyther/XMLReader.py +++ b/gui/Scyther/XMLReader.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/__init__.py b/gui/Scyther/__init__.py index 2b662fd..b6c350c 100644 --- a/gui/Scyther/__init__.py +++ b/gui/Scyther/__init__.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/generate-attack-graphs.py b/gui/generate-attack-graphs.py index a5a42ae..46c3946 100755 --- a/gui/generate-attack-graphs.py +++ b/gui/generate-attack-graphs.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/json-scyther.py b/gui/json-scyther.py index 6d761d6..d96fc19 100755 --- a/gui/json-scyther.py +++ b/gui/json-scyther.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/progressbarDummy.py b/gui/progressbarDummy.py index 8692f22..e230c72 100644 --- a/gui/progressbarDummy.py +++ b/gui/progressbarDummy.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/scyther-gui.py b/gui/scyther-gui.py index d595874..249b7eb 100755 --- a/gui/scyther-gui.py +++ b/gui/scyther-gui.py @@ -1,7 +1,7 @@ #!/usr/bin/env python3 """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/scyther.py b/gui/scyther.py index 41b39f9..c82b740 100755 --- a/gui/scyther.py +++ b/gui/scyther.py @@ -1,7 +1,7 @@ #!/usr/bin/env python3 """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/test-delta.py b/gui/test-delta.py index ed90725..1cbe811 100755 --- a/gui/test-delta.py +++ b/gui/test-delta.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/test-mpa.py b/gui/test-mpa.py index 65528c1..d3d8693 100755 --- a/gui/test-mpa.py +++ b/gui/test-mpa.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License