SAT-based Model-Checking for Security Protocols Analysis Publication Type: Journal Article Authors: Alessandro Armando; Luca Compagna Source: International Journal of Information Security, Volume 7, Issue 1, p.3–32 (2008)
