Formal analysis of secure routing protocol for ad hoc networks

Author

Niu, Qiuna

Author_Institution

Coll. of Inf. Sci. & Technol., Qingdao Univ. of Sci.&Technol., Qingdao, China

fYear

2009

fDate

13-15 Nov. 2009

Firstpage

1

Lastpage

4

Abstract

In mobile ad hoc networks, routing security has become an important issue. Due to limited bandwidth and batteries energy of ad hoc networks, routing protocols of ad hoc must be secure, effective and less redundancy. This makes it possible for analyzing the security performance of routing protocols via formal analysis. In this paper, we describe the formalization of routing protocols by using BAN logic, and present the formal method in detail. Further, taking example of Authenticated Routing for Ad hoc Networks (ARAN), we analyze the security of routing protocol precisely using the formal method, which proves the method is valid.

Keywords

ad hoc networks; routing protocols; telecommunication security; BAN logic; authenticated routing; formal analysis; formal method; mobile ad hoc networks; routing security; secure routing protocol; Ad hoc networks; Bandwidth; Batteries; Body sensor networks; Cryptography; Information analysis; Logic; Performance analysis; Public key; Routing protocols; BAN logic; ad hoc; routing protocol; security;

fLanguage

English

Publisher

ieee

Conference_Titel

Wireless Communications & Signal Processing, 2009. WCSP 2009. International Conference on

Conference_Location

Nanjing

Print_ISBN

978-1-4244-4856-2

Electronic_ISBN

978-1-4244-5668-0

Type

conf

DOI

10.1109/WCSP.2009.5371659

Filename

5371659