Author:
Focardi Riccardo,Gorrieri Roberto,Martinelli Fabio
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. M. Abadi, A.D. Gordon, Reasoning about cryptographic protocols in the spi calculus, in: Proc. CONCUR’97, Lecture Notes in Computer Science, Vol. 1243, 1997, pp. 59–73.
2. A calculus for cryptographic protocols : the spi calculus;Abadi;Inform. and Comput.,1999
3. Authentication via localized names;Bodei,1999
4. A logic of authentication;Burrows;Proc. Roy. Soc. London,1989
5. Testing equivalences for processes;De Nicola;Theoret. Comput. Sci.,1984
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献