Verifpal
About Verifpal
Verifpal is a symbolic formal verification tool for cryptographic protocols. You describe a protocol in the Verifpal language, state security queries about it, and Verifpal searches for an attack that breaks them, printing the trace of any attack it finds.
Information
| Publisher | Symbolic Software |
|---|---|
| Version | 1.6.3 |
| Package ID | SymbolicSoftware.Verifpal |
| Released date | |
| Website | View Site |
| Source | View Source |