Scyther tool giving empty window after verification

[shanvendra]

Describe the bug
HI while working on the scyther on my project using the resource SAPWSN: A Secure Authentication Protocol for Wireless Sensor Networks

I have come across the following issue using the latest version of Scyther code

I have tried even using the compromised version of the repository but its showing the same results

So could you please help me?

To Reproduce
Steps to reproduce the behavior:

1. Go to https://www.sciencedirect.com/science/article/pii/S1389128622005035?fr=RR-2&ref=pdf_download&rr=7fe32db7189f4719
2. Click on view pdf and navigate to page no 9 and page no 11
3. I encountered an error its showing donemessage but its not providing the scyther results:verify` details
4. See error
   

Please attach any files (with comments) needed to reproduce.

Expected behavior
A clear and concise description of what you expected to happen.

It should show scyther results after verifying the protocols

Screenshots
If applicable, add screenshots to help explain your problem.

Scyther version used:

• Version number, Scyther type [v1.1.3]
• Compromise-0.9.2
• Github commit id (if available)

Platform information (please complete the following information):

• OS: [e.g. iOS/MAC, Windows, Linux]
• Version [e.g. Windows 10, Ubuntu 20.04, MacOS version]
• If applicable, version numbers of graphviz, python, wxpython.

Additional context
Add any other context about the problem here.

[cascremers]

The article is behind a paywal -- for others to try and reproduce this, please provide the input file for Scyther directly.

[chhavi333]

Hi there, as a beginner to using Scyther, I tried verifying Needham-Schroeder protocol, but it shows empty window after verification.

Scyther version used: v1.1.3 , Compromise-0.9.2 (Both the versions gave same issues)
Graphviz version: x64_graphviz-2.49.0-win64
WxPython version: wxPython2.8-win32-unicode-2.8.12.1-py27
Python version: 2.7
OS: Windows 11

Any type of help is highly appreciated. As one of my core subject's lab is based on it.

[lzrdfrns]

i have some problem like that, so how can i solve ? thanks

[chhavi333]

Use Ubuntu 16.04, and scyther will work like magic.