Needham-Schroeder Symmetric Key Protocol Automated Analysis - D'Ambrosi, Denis (2023)