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

Publication Type:

Book Chapter

Authors:

Alessandro Armando; D.A. Basin; Y. Boichut

Source:

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