Title :
Security Analysis of Routing Protocol for MANET
Author :
Wang, Ying-Long ; Wang, Ji-zhi ; Wang, Mei-qin
Author_Institution :
Shandong Comput. Sci. Center
Abstract :
CSCW in design maybe work in mobile ad hoc network and security of routing protocol in MANET is one key factor. The routing protocol for MANET uses cryptographic technology to heighten its security, which makes it possible to use formal method. Considered the property of routing protocol for MANET, the drawback of BAN logic is analyzed and the security is described based on improved BAN logic. The formalization of the protocol is described and the method is presented. Taken example of SADSR, the security of routing protocol is analyzed by using the method, which proves the method is valid. A method to attack SADSR is found
Keywords :
ad hoc networks; cryptography; formal logic; groupware; mobile radio; routing protocols; telecommunication security; BAN logic; CSCW; computer supported collaborative work; cryptographic technology; formal method; mobile ad hoc network; routing protocol; security analysis; Body sensor networks; Collaborative work; Computer networks; Computer science; Computer security; Cryptographic protocols; Cryptography; Logic design; Mobile ad hoc networks; Routing protocols; Adhoc; BAN Logic; CSCW; Routing Protocol; Security;
Conference_Titel :
Computer Supported Cooperative Work in Design, 2006. CSCWD '06. 10th International Conference on
Conference_Location :
Nanjing
Print_ISBN :
1-4244-0164-X
Electronic_ISBN :
1-4244-0165-8
DOI :
10.1109/CSCWD.2006.253017
