The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

Источник:

International Conference on Computer Aided Verification CAV 2005, Springer, Heidelberg (2005)