Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. M. Abadi, C. Fournet, Mobile values, new names, and secure communication, in: POPL, 2001, pp. 104–115.
2. Private authentication;Abadi;Theor. Comput. Sci.,2004
3. A calculus for cryptographic protocols: the spi calculus;Abadi,1997
4. Deciding security of protocols against off-line guessing attacks;Baudet,2005
5. J. Bengtson, M. Johansson, J. Parrow, B. Victor, Psi-calculi: Mobile processes, nominal data, and logic, in: LICS’09: Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science, 2009, pp. 39–48.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献