Securing On-Demand Source Routing in MANETs

Chauhan, Kamal Kumar; Sanger, Amit Kumar Singh; Kushwah, Virendra Singh

doi:10.1109/iccnt.2010.29

Cited by 5 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Many secure routing protocols have been proposed in the literature [27][28][29][30][31][32]. In this section, Ariadne protocol [27], which is a secure, on-demand routing protocol for multihop wireless networks was chosen to illustrate how to use LBSA to specify and analyze secure protocols.…”

Section: Case Study: Ariadne Protocolmentioning

confidence: 99%

Logic-Based Security Architecture for Systems Providing Multihop Communication

Almomani

Al-Banna

Al-Akhras

2013

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

Security is a basic element of distributed systems such as ad hoc and sensor communication networks. Several standards de�ne security requirements and enforcers, such as ITU-T Recommendations X.800 and X.805. It is essential to specify and analyze protocols to know which security requirements they achieve. is paper presents a logic-based security architecture (LBSA). LBSA is a systematic way to test if a protocol is secure by checking what security requirements are achieved. Different rules, actions, and sets which �t into the proposed LBSA are included, new ones are also added to complete the architecture. e key advantage of LBSA is that it enables a security protocol to prove its correctness mathematically. Mathematical proofs provided by LBSA cover more cases that usually cannot be covered exhaustively by simulation tools. is paper also speci�es and analyzes several security enforcers and protocols and mathematically proves which security requirements they achieve. Mapping between security requirements and inference rules/actions is also provided to facilitate the use of LBSA. Some enforcers are analyzed using LBSA to demonstrate how they achieve security requirements. Finally, we take Ariadne protocol as a case study and show how to use the proposed LBSA architecture to prove that this protocol is secure.

show abstract