Author:
Bugliesi Michele,Castagna Giuseppe,Crafa Silvia,Forcardi Riccardo,Sassone Vladimiro
Publisher
Springer Berlin Heidelberg
Reference57 articles.
1. Abadi, M.: Secrecy by typing security protocols. Journal of the ACM 46(5), 749–786 (1999)
2. Lecture Notes in Computer Science;M. Abadi,1999
3. Lecture Notes in Computer Science;M. Abadi,2001
4. Abadi, M., Fournet, C.: Mobile values, new names and secure communication. In: Proceedings of POPL 2001, pp. 104–115. ACM Press, New York (2001)
5. Abadi, M., Gordon, A.D.: A calculus of cryptographic protocols: the spi calculus. In: Fourth ACM Conference on Computer and Communication Security, pp. 36–47 (1997)