Automatic Compilation of Protocol Insecurity Problems into Logic Programming.

Alessandro Armando, Luca Compagna, Yuliya Lierler

Browse the full JELIA paper archive.