Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies

2015 ◽  
pp. 109-130 ◽  
Author(s):  
Mihai Lica Pura ◽  
Didier Buchs
Keyword(s):  
Model Checking ◽  
Ad Hoc Networks ◽  
Ad Hoc ◽  
Security Protocols ◽  
Symbolic Model Checking ◽  
Symbolic Model ◽  
Hoc Networks

A Methodology for Model-Checking Ad-hoc Networks

2003 ◽  
pp. 181-196 ◽  
Author(s):  
Irfan Zakiuddin ◽  
Michael Goldsmith ◽  
Paul Whittaker ◽  
Paul Gardiner
Keyword(s):  
Model Checking ◽  
Ad Hoc Networks ◽  
Ad Hoc ◽  
Hoc Networks

Model checking mobile ad hoc networks

2016 ◽  
Vol 49 (3) ◽  
pp. 159-189 ◽  
Author(s):  
Fatemeh Ghassemi ◽  
Wan Fokkink
Keyword(s):  
Model Checking ◽  
Ad Hoc Networks ◽  
Mobile Ad Hoc Networks ◽  
Ad Hoc ◽  
Mobile Ad Hoc ◽  
Hoc Networks

Security in Ad-Hoc Networks

2011 ◽  
pp. 297-326
Author(s):  
Muhammad Mahmudul Islam ◽  
Ronald Pose ◽  
Carlo Kopp
Keyword(s):  
Ad Hoc Networks ◽  
Network Topology ◽  
Ad Hoc ◽  
Resource Constraints ◽  
Security Protocols ◽  
Dynamic Network ◽  
Access Point ◽  
Base Station ◽  
Network Layer ◽  
Hoc Networks

Due to the nature of wireless media, dynamic network topology, resource constraints, and lack of any base station or access point, security in ad-hoc networks is more challenging than with cabled networks. In this chapter, we discuss various attacks on the network layer of ad-hoc networks. We also review security protocols that protect network layer operations from various attacks.

Sign in / Sign up

Export Citation Format

Share Document