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)
Share/Save