SAT-based Model-Checking for Security Protocols Analysis

Тип публикация:

Journal Article

Автори:

Alessandro Armando; Luca Compagna

Източник:

International Journal of Information Security, Volume 7, Issue 1, p.3–32 (2008)
Share/Save