Publisher
Springer International Publishing
Reference18 articles.
1. Saillard, R., Genet, T.: CAS+, March 21 2011–2018
2. Viganò, L.: Automated security protocol analysis with the AVISPA tool. Electron. Notes Theor. Comput. Sci. 155, 61–86 (2006)
3. Chaki, S., Datta, A.: ASPIER: an automated framework for verifying security protocol implementations. In: 22nd IEEE Computer Security Foundations Symposium 2009, CSF 2009, pp. 172–185. IEEE (2009)
4. Goubault-Larrecq, J., Parrennes, F.: Cryptographic protocol analysis on real C code. In: International Workshop on Verification, Model Checking, and Abstract Interpretation, pp. 363–379. Springer, Heidelberg (2005)
5. Goubault-Larrecq, J., Parrennes, F.: Cryptographic protocol analysis on real C code. Technical report, Laboratoire Spécification et Vérification, Report LSV-09-18 (2009)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献