Open shanvendra opened 1 year ago
The article is behind a paywal -- for others to try and reproduce this, please provide the input file for Scyther directly.
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.
i have some problem like that, so how can i solve ? thanks
Use Ubuntu 16.04, and scyther will work like magic.
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:
done
message but its not providing the scyther results:verify` detailsPlease 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:
Platform information (please complete the following information):
Additional context Add any other context about the problem here.