The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
Тип публикация:
Book ChapterИзточник:
International Conference on Computer Aided Verification CAV 2005, Springer, Heidelberg (2005)- видяно 9214 пъти
- Google Scholar
- DOI
- RTF
- EndNote XML
