Security Analysis of Routing Protocol for MANET

Author

Wang, Ying-Long ; Wang, Ji-zhi ; Wang, Mei-qin

Author_Institution

Shandong Comput. Sci. Center

fYear

2006

fDate

3-5 May 2006

Firstpage

1

Lastpage

4

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CSCWD.2006.253017

Filename

4019053