2006-08-11 11:43:28 +01:00
|
|
|
#!/usr/bin/python
|
|
|
|
|
|
|
|
|
|
#---------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
|
""" Import externals """
|
|
|
|
|
import wx
|
|
|
|
|
import wx.html
|
|
|
|
|
|
|
|
|
|
#---------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
|
""" Import scyther-gui components """
|
|
|
|
|
|
|
|
|
|
#---------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
|
class AboutScyther(wx.Dialog):
|
|
|
|
|
text = '''
|
|
|
|
|
<html>
|
|
|
|
|
<body bgcolor="#ffffff">
|
2006-08-11 18:29:18 +01:00
|
|
|
<center>
|
|
|
|
|
<h1>Scyther</h1>
|
|
|
|
|
Version 1.0-beta 4
|
|
|
|
|
</center>
|
2006-08-11 16:23:32 +01:00
|
|
|
<hr>
|
|
|
|
|
<p>
|
|
|
|
|
<b>Scyther</b> is an automatic tool for the verification and
|
|
|
|
|
falsification of security protocols.
|
|
|
|
|
</p>
|
|
|
|
|
<p>
|
|
|
|
|
Scyther and Scyther GUI developed by
|
|
|
|
|
Cas Cremers 2004-2006.
|
|
|
|
|
</p>
|
|
|
|
|
<p>
|
|
|
|
|
For news and updates visit the Scyther pages at
|
|
|
|
|
http://www.win.tue.nl/~ccremers/scyther/index.html
|
|
|
|
|
</p>
|
|
|
|
|
<p>
|
|
|
|
|
Credits: Cas Cremers (Scyther theory, backend, and main GUI
|
|
|
|
|
code), Gijs Hollestelle (Python wrapper for Scyther XML output).
|
2006-08-11 11:43:28 +01:00
|
|
|
</p>
|
2006-08-11 18:29:18 +01:00
|
|
|
<hr>
|
2006-08-11 11:43:28 +01:00
|
|
|
'''
|
|
|
|
|
|
|
|
|
|
def __init__(self,parent):
|
|
|
|
|
wx.Dialog.__init__(self, parent, -1, 'About Scyther',
|
2006-08-11 16:23:32 +01:00
|
|
|
size=(400,300))
|
2006-08-11 11:43:28 +01:00
|
|
|
html = wx.html.HtmlWindow(self)
|
2006-08-11 16:23:32 +01:00
|
|
|
if "gtk2" in wx.PlatformInfo:
|
|
|
|
|
html.SetStandardFonts()
|
2006-08-11 11:43:28 +01:00
|
|
|
html.SetPage(self.text)
|
|
|
|
|
button = wx.Button(self, wx.ID_OK, "Okay")
|
|
|
|
|
|
|
|
|
|
sizer = wx.BoxSizer(wx.VERTICAL)
|
|
|
|
|
sizer.Add(html, 1, wx.EXPAND|wx.ALL,5)
|
|
|
|
|
sizer.Add(button,0,wx.ALIGN_CENTER|wx.ALL,5)
|
|
|
|
|
|
|
|
|
|
self.SetSizer(sizer)
|
|
|
|
|
self.Layout()
|
|
|
|
|
|
