Modelling and Model Checking of the Needham-Schroeder Symmetric-Key (NSSK) Protocol using PRISM, project for the course of Formal Methods in AI-Based Systems Engineering of the MSc in Computer Science at Sapienza Università di Roma.
-
Notifications
You must be signed in to change notification settings - Fork 0
xsk07/NSSK-protocol-PRISM
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Needham-Schroeder Symmetric-Key (NSSK) Protocol modelling and model checking using PRISM
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published