Author:
Cremers C.J.F.,Mauw S.,de Vink E.P.
Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. A calculus for cryptographic protocols: the spi calculus;Abadi;Inform. and Comput.,1999
2. A new logic for electronic commerce protocols;Adi;Theoret. Comput. Sci.,2003
3. A. Armando, D. Basin, Y. Boichut, Y. Chevalier, L. Compagna, L. Cuellar, P.H. Drielsma, P. Heám, O. Kouchnarenko, J. Mantovani, S. Mödersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, L. Vigneron, The AVISPA tool for the automated validation of internet security protocols and applications. in: Proc. of CAV’2005, Lecture Notes in Computer Science, Vol. 3576, Springer, Berlin, 2005, pp. 281–285,
4. C. Boyd. Towards extensional goals in authentication protocols, in: Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997.
5. A logic of authentication;Burrows;ACM Trans. Comput. Systems,1990
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献