Scyther : $VERSION
- -- Scyther is an automatic tool for the verification and - falsification of security protocols. -
-- Scyther and Scyther GUI developed by - Cas Cremers 2004-2007. -
-- For news and updates visit the Scyther pages at - - http://people.inf.ethz.ch/cremersc/scyther/index.html -
-- $DETAILS -
-- Credits: Cas Cremers (Scyther theory, backend, and main GUI - code), Gijs Hollestelle (Python parser for Scyther XML output). -
- ++ Scyther is an automatic tool for the verification and + falsification of security protocols. +
++ For news and updates visit the Scyther pages at + + http://people.inf.ethz.ch/cremersc/scyther/index.html +
+
+ 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. +
++ $DETAILS +
++ Cas Cremers (Scyther theory, backend, and main GUI + code), Gijs Hollestelle (Python parser for Scyther XML output). +
+ ''' if mybasedir: