SAT-based Model-Checking for Security Protocols Analysis

Источник:

International Journal of Information Security, Volume 7, № 1, p.3–32 (2008)