Author:
Borgström Johannes,Briais Sébastien,Nestmann Uwe
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Abadi, M., Fournet, C.: Mobile Values, New Names, and Secure Communication. In: Proc. of POPL 2001, pp. 104–115 (2001)
2. Abadi, M., Gordon, A.D.: A Bisimulation Method for Cryptographic Protocols. Nordic Journal of Computing 5(4), 267–303 (1998)
3. Abadi, M., Gordon, A.D.: A Calculus for Cryptographic Protocols: The Spi Calculus. Information and Computation 148(1), 1–70 (1999)
4. Lecture Notes in Computer Science;R.M. Amadio,2000
5. Boreale, M., De Nicola, R.: A Symbolic Semantics for the π-Calculus. Information and Computation 126(1), 34–52 (1996)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献