Alessandro Armando Luca Compagna SAT-based model-checking for security protocols analysis. 3-32 2008 7 Int. J. Inf. Sec. 1 http://dx.doi.org/10.1007/s10207-007-0041-y db/journals/ijisec/ijisec7.html#ArmandoC08