D'Ambrosi, D. (2023). Needham-Schroeder Symmetric Key Protocol Automated Analysis (Version 1.0.0) [Computer software]. https://github.com/dambrosidenis/NeedhamSchroeder_Automated_Analysis