Author:
Basin David,Caleiro Carlos,Ramos Jaime,Viganò Luca
Subject
General Computer Science,Theoretical Computer Science
Reference67 articles.
1. Secure implementation of channel abstractions;Abadi;Information and Computation,2002
2. A framework for compositional verification of security protocols;Andova;Information and Computation,2008
3. The AVISPA tool for the automated validation of internet security protocols and applications;Armando,2005
4. Formal analysis of SAML 2.0 Web Browser Single Sign-On: breaking the SAML-based single sign-on for google apps;Armando,2008
5. SAT-based model-checking for security protocols analysis;Armando;International Journal of Information Security,2007
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献