Author:
Bodei C.,Degano P.,Focardi R.,Priami C.
Subject
Computer Networks and Communications,Hardware and Architecture,Software
Reference26 articles.
1. A calculus for cryptographic protocols: the spi calculus;Abadi;Inf. Comput.,1999
2. Secrecy by typing in security protocols;Abadi;JACM,1999
3. Primitives for authentication in process algebras;Bodei;Theor. Comput. Sci.,2002
4. Authentication via localized names;Bodei,1999
5. Names of the π -calculus agents handled locally;Bodei;Theor. Comput. Sci.,2001
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pierpaolo Degano;Programming Languages with Applications to Biology and Security;2015
2. A Secured Authentication Protocol for SIP Using Elliptic Curves Cryptography;Communication and Networking;2010