Security analysis of routing protocol for MANET based on extended Rubin logic

Proceedings of 2008 IEEE International Conference on Networking, Sensing and Control, ICNSC

Volumn , Issue , 2008, Pages 1326-1331

  Xu, Yang ^b,c   Xie, Xiaoyao ^a,c  

^a IEEE

^b GUIZHOU UNIVERSITY   (China)

^c Key Laboratory of Information and Computing Science of Guizhou Province   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; CRYPTOGRAPHY; LAWS AND LEGISLATION; NETWORK ROUTING;

ANALYSIS TECHNIQUES; CRYPTOGRAPHIC PROTOCOLS; INFERENCE RULES; INTERNATIONAL CONFERENCES; IS SECURITY; MALICIOUS ATTACKS; MANET SECURITY; NON-MONOTONIC; NON-REPUDIATION; SECURITY ANALYSIS;

ROUTING PROTOCOLS;

EID: 49249090421     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNSC.2008.4525423     Document Type: Conference Paper

References (22)

1. Y. Hu, D. Johnson, and A. Perrig, "SEAD: secure efficient distance vector routing for mobile wireless Ad hoc networks," in Proc. 4th IEEE Conf. Workshop on Mobile Computing Systems and Applications, Jun. 2002, pp. 3-13.
2. Y. Hu, A. Perrig, and D. Johnson, "Ariadne: a secure on-demand routing protocol for Ad hoc networks," in Proc. 8th ACM Int. Conf. Mobile Computing and Networking, Sep. 2002, pp. 12-23.
3. M. G. Zapata, and N. Asokan, "Securing Ad hoc routing protocols," in Proc. ACM Conf. Workshop on Wireless Security, Sep. 2002, pp. 1-10.
4. R. Kravets, S. Yi, and P. Naldurg, "A security-aware routing protocol for wireless Ad hoc networks," in ACM Symp. Mobile Ad Hoc Networking and Computing, 2001.
5. A. Perrig, R. Szewczyk, J. D. Tygar, V. Wen, and D.E. Culler, "SPINS: securing protocols for sensor networks," Wireless Networks, vol. 8, pp. 521-534, 2002.
6. P. Padimitrators, and Z. J. Haas, "Secure routing for mobile Ad hoc networks," in Proc. 2002 SCS Conf. Communication Networks and Distributed Systems Modeling and Simulation, pp. 27-31.
7. K. Sanzgiri, B. Dahill, B. N. Levine, C. Shields, and E. M. Belding-Royer, "A secure protocol for Ad hoc networks," in Proc. 10th 2002 IEEE Int. Conf. Network Protocols, pp. 1-10.
8. K. Sanzgiri, D. LaFlamme, B. Dahill, B. N. Levine, C. Shields, and E. M. Belding-Royer, "Authenticated routing for Ad hoc networks," Journal on Selected Areas in Communication, vol. 23, no. 3, pp. 598-610, Mar. 2005.
9. Y. L. Wang, J. Z. Wang, and M. Q. Wang, "Security analysis of routing protocol for MANET based on BAN logic," Journal on Communications, vol. 26, no. 4, pp. 125-129, Apr. 2005.
10. M. Burrows, M. Abadi, and R. Needham, "A logic of authentication," ACM Transactions on Computer Systems, vol. 8, no. 1, pp. 18-36, 1990.
11. L. Gong, R. Needham, and R. Yahalom, "Reasoning about belief in cryptographic protocols," in Proc. 1990 IEEE Conf. Computer Society Symposium on Research in Security and Privacy, pp. 234-248.
12. M. Abadi, and M. R. Tuttle, "A semantics for a logic of authentication," in Proc. 10th 1991 ACM Conf. Principles of Distributed Computing, pp. 201-216.
13. P. C. van Oorschot, "Extending cryptographic logics of belief to key agreement protocols," in Proc. 1st 1993 ACM Conf Computer and Communications Security, pp. 233-243.
14. P. F. Syverson, and P. C. van Oorschot, "On unifying some cryptographic protocol logics," in Proc. 1994 IEEE Conf. Computer Society Symposium on Research in Security and Privacy. pp. 14-28.
15. D. M. Nessett, "A critique of the Burrows, Abadi, and Needham logic," ACM Operating Systems Review, vol. 24, no. 2, pp. 35-38, 1990.
16. Y.Q. Zhang, J. P. Wu, and X. Li, "BAN-like logic for cryptographic protocols analysis: a survey," Journal of Tsinghua University (Sci & Tech), vol. 42, no. 1, pp. 96-99, 2002.
17. J. Z. Xu, Y. X. Dai, and Y.N. Zuo, "The model and its defects of BAN family of logic," Journal of Software, vol. 1, no. 12, pp. 1660-1665, Dec. 2000.
18. A.D. Rubin, "Nonmonotonic cryptographic protocols," Ph.D. dissertation, Dept. Elec. Eng. and Computer Science, Univ. of Michigan, Ann Arbor, MI, 1994.
19. A. D. Rubin, "Extending NCP for protocols using public keys," Mobile Networks and Applications, vol. 2, no. 3, pp. 227-241, Mar. 1997.
20. R. Kailar "Accountability in electronic commerce protocols," IEEE Trans. Software Engineering, vol. 22, no. 5, pp. 313-328, 1996.
21. D. C. Zhou, S. H. Qing, and Z. F. Zhou, "Limitations of Kailar Logic," Journal of Software, vol. 10, no. 12, pp. 1238-1245, Dec. 1999.
22. D. C. Zhou, S. H. Qing, and Z. F. Zhou, "A new approach for the analysis of electronic commerce protocols," Journal of Software, vol. 12, no. 9, pp. 1318-1328, Sept. 2001.