diff --git a/gui/Gui/About.py b/gui/Gui/About.py index 5ac5ee8..e70f0a6 100644 --- a/gui/Gui/About.py +++ b/gui/Gui/About.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + #--------------------------------------------------------------------------- diff --git a/gui/Gui/Attackwindow.py b/gui/Gui/Attackwindow.py index a8b8741..fbbfbf6 100644 --- a/gui/Gui/Attackwindow.py +++ b/gui/Gui/Attackwindow.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + #--------------------------------------------------------------------------- diff --git a/gui/Gui/Editor.py b/gui/Gui/Editor.py index 1474e0b..ca96615 100644 --- a/gui/Gui/Editor.py +++ b/gui/Gui/Editor.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + #--------------------------------------------------------------------------- diff --git a/gui/Gui/Error.py b/gui/Gui/Error.py index 8916b7e..5b5f859 100644 --- a/gui/Gui/Error.py +++ b/gui/Gui/Error.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + #--------------------------------------------------------------------------- diff --git a/gui/Gui/Icon.py b/gui/Gui/Icon.py index 0015c5e..76de438 100644 --- a/gui/Gui/Icon.py +++ b/gui/Gui/Icon.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + #--------------------------------------------------------------------------- diff --git a/gui/Gui/Mainwindow.py b/gui/Gui/Mainwindow.py index d4f50cc..b89e20c 100644 --- a/gui/Gui/Mainwindow.py +++ b/gui/Gui/Mainwindow.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + #--------------------------------------------------------------------------- diff --git a/gui/Gui/Misc.py b/gui/Gui/Misc.py index 4346491..749322a 100644 --- a/gui/Gui/Misc.py +++ b/gui/Gui/Misc.py @@ -1,3 +1,22 @@ +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + # # Misc.py # Various helper functions diff --git a/gui/Gui/Preference.py b/gui/Gui/Preference.py index 993b360..6a80881 100644 --- a/gui/Gui/Preference.py +++ b/gui/Gui/Preference.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + """ Preferences window and logic for saving and loading such things. diff --git a/gui/Gui/Scytherthread.py b/gui/Gui/Scytherthread.py index d91fabf..ce5afbe 100644 --- a/gui/Gui/Scytherthread.py +++ b/gui/Gui/Scytherthread.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + #--------------------------------------------------------------------------- diff --git a/gui/Gui/Settingswindow.py b/gui/Gui/Settingswindow.py index 4abc8a1..298fd7e 100644 --- a/gui/Gui/Settingswindow.py +++ b/gui/Gui/Settingswindow.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + #--------------------------------------------------------------------------- diff --git a/gui/Gui/Tempfile.py b/gui/Gui/Tempfile.py index 8d5d038..31f786f 100644 --- a/gui/Gui/Tempfile.py +++ b/gui/Gui/Tempfile.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + #--------------------------------------------------------------------------- diff --git a/gui/Gui/Version.py b/gui/Gui/Version.py index 720884f..ef82a09 100644 --- a/gui/Gui/Version.py +++ b/gui/Gui/Version.py @@ -1 +1,20 @@ +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + SCYTHER_GUI_VERSION = "Unknown" diff --git a/gui/Gui/__init__.py b/gui/Gui/__init__.py index e69de29..b8d7c7b 100644 --- a/gui/Gui/__init__.py +++ b/gui/Gui/__init__.py @@ -0,0 +1,19 @@ +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + diff --git a/gui/Scripts/scytherview.py b/gui/Scripts/scytherview.py index fe235ef..54cc9d1 100755 --- a/gui/Scripts/scytherview.py +++ b/gui/Scripts/scytherview.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + # # Convert scyther dot output to a printable PDF and display it # diff --git a/gui/Scyther/Attack.py b/gui/Scyther/Attack.py index b48c9df..65cb21b 100644 --- a/gui/Scyther/Attack.py +++ b/gui/Scyther/Attack.py @@ -1,3 +1,22 @@ +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + # # Attack # diff --git a/gui/Scyther/Claim.py b/gui/Scyther/Claim.py index 27a3067..904316d 100644 --- a/gui/Scyther/Claim.py +++ b/gui/Scyther/Claim.py @@ -1,3 +1,22 @@ +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + # # Claim # diff --git a/gui/Scyther/Error.py b/gui/Scyther/Error.py index a71a2c1..b8ff532 100644 --- a/gui/Scyther/Error.py +++ b/gui/Scyther/Error.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + # # Scyther interface error classes # diff --git a/gui/Scyther/Misc.py b/gui/Scyther/Misc.py index 1a1a212..e13e54e 100644 --- a/gui/Scyther/Misc.py +++ b/gui/Scyther/Misc.py @@ -1,3 +1,22 @@ +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + # # Misc.py # Various helper functions diff --git a/gui/Scyther/Scyther.py b/gui/Scyther/Scyther.py index a29c2d6..01454fe 100755 --- a/gui/Scyther/Scyther.py +++ b/gui/Scyther/Scyther.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + # # Scyther interface # diff --git a/gui/Scyther/Term.py b/gui/Scyther/Term.py index fcb4b23..3a3c4c8 100644 --- a/gui/Scyther/Term.py +++ b/gui/Scyther/Term.py @@ -1,3 +1,22 @@ +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + # # Term # diff --git a/gui/Scyther/Trace.py b/gui/Scyther/Trace.py index 26a037c..92d9bdf 100644 --- a/gui/Scyther/Trace.py +++ b/gui/Scyther/Trace.py @@ -1,3 +1,22 @@ +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + # # Trace # diff --git a/gui/Scyther/XMLReader.py b/gui/Scyther/XMLReader.py index 4bb8eda..43d8053 100644 --- a/gui/Scyther/XMLReader.py +++ b/gui/Scyther/XMLReader.py @@ -1,3 +1,22 @@ +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + # # XMLReader # diff --git a/gui/Scyther/__init__.py b/gui/Scyther/__init__.py index 8b81dc6..4843af0 100644 --- a/gui/Scyther/__init__.py +++ b/gui/Scyther/__init__.py @@ -1,3 +1,22 @@ +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + # # Init this module # diff --git a/gui/mpa.py b/gui/mpa.py index 90c8fa6..2cf8619 100755 --- a/gui/mpa.py +++ b/gui/mpa.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + """ diff --git a/gui/scyther-gui.py b/gui/scyther-gui.py index 4a283d2..9f2c84e 100755 --- a/gui/scyther-gui.py +++ b/gui/scyther-gui.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + #--------------------------------------------------------------------------- diff --git a/gui/scyther.py b/gui/scyther.py index 4e147ef..ba456e9 100755 --- a/gui/scyther.py +++ b/gui/scyther.py @@ -1,4 +1,23 @@ #!/usr/bin/python +""" + Scyther : An automatic verifier for security protocols. + Copyright (C) 2007 Cas Cremers + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +""" + # # python wrapper for the Scyther command-line tool #