Scyther The Scyther Tool: Automatic Verification of Security Protocols - Linux/Windows Requirements: python www.python.org wxPython www.wxpython.org (c)elementtree elementtree effbot.org/zone/element-index.htm (slower but more widely available) celementtree effbot.org/zone/celementtree.htm (preferred) graphviz www.graphviz.org Optional: Python Imaging Library www.pythonware.com/products/pil/ (It might be possible to include PIL in the sources)