Validating Security Protocols under the General Attacker

Источник:

Foundations and Applications of Security Analysis, Springer, Berlin, Heidelberg, p.33-51 (2009)