Article citationsMore>>

A. Armando et al., “The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications,” Proceedings of Computer Aided Veri?cation’05 (CAV), Vol. 3576 of Lecture Notes in Computer Science, Springer, 2005, pp. 281-285.

has been cited by the following article:

Follow SCIRP
Twitter Facebook Linkedin Weibo
Contact us
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Copyright © 2006-2023 Scientific Research Publishing Inc. All Rights Reserved.