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.
| Name | Name | Last commit date | ||
|---|---|---|---|---|