#

prismmodelchecker

Here is 1 public repository matching this topic...

xsk07 / NSSK-protocol-PRISM

Modeling and Model Checking of the Needham-Schroeder Symmetric-Key (NSSK) Protocol using PRISM

cryptography prism model-checking formal-methods formal-verification needham-schroeder probabilistic-model-checking prismmodelchecker

Updated Jul 16, 2023

Improve this page

Add a description, image, and links to the prismmodelchecker topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the prismmodelchecker topic, visit your repo's landing page and select "manage topics."