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

Publication Type:

Book Chapter

Source:

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