Author:
Nanz Sebastian,Hankin Chris
Subject
General Computer Science,Theoretical Computer Science
Reference9 articles.
1. A calculus for cryptographic protocols: The spi calculus;Abadi,1997
2. The Klaim Project: Theory and Practice;Bettini,2003
3. Automatic validation of protocol narration;Bodei,2003
4. Guerrero Zapata, M., and N. Asokan, Securing Ad-Hoc Routing Protocols. In Proceedings of the 2002 ACM Workshop on Wireless Security (WiSe 2002), pages 1–10, 2002
5. Hu, Y., A. Perrig, and D. Johnson, Ariadne: A secure on-demand routing protocol for ad hoc networks. In The 8th ACM International Conference on Mobile Computing and Networking, 2002
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献