NSSK-protocol-PRISM

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.