Energy-aware and quality of service-based routing in wireless sensor networks and vehicular ad hoc networks

2008 ◽  
Vol 63 (11-12) ◽  
pp. 669-681 ◽  
Author(s):  
Anahit Martirosyan ◽  
Azzedine Boukerche ◽  
Richard W. Nelem Pazzi
Keyword(s):  
Wireless Sensor Networks ◽  
Quality Of Service ◽  
Sensor Networks ◽  
Ad Hoc Networks ◽  
Vehicular Ad Hoc Networks ◽  
Ad Hoc ◽  
Wireless Sensor ◽  
Energy Aware ◽  
Hoc Networks

A Survey on Applied Cryptography in Secure Mobile Ad Hoc Networks and Wireless Sensor Networks

2012 ◽  
pp. 864-892
Author(s):  
Jianmin Chen ◽  
Jie Wu
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Ad Hoc Networks ◽  
Mobile Ad Hoc Networks ◽  
Ad Hoc ◽  
Public Key Infrastructure ◽  
Public Key ◽  
Wireless Sensor ◽  
Mobile Ad Hoc ◽  
Hoc Networks

Many secure mobile ad hoc networks (MANETs) and wireless sensor networks (WSNs) use techniques of applied cryptography. Numerous security routing protocols and key management schemes have been designed based on public key infrastructure (PKI) and identity-based cryptography. Some of these security protocols are fully adapted to fit the limited power, storage, and CPUs of these networks. For example, one-way hash functions have been used to construct disposable secret keys instead of creating public/private keys for the public key infrastructure. In this survey of MANET and WSN applications we present many network security schemes using cryptographic techniques and give three case studies of popular designs.

Formal Specification and Verification of Self-Configuring P2P Networking

2011 ◽  
pp. 170-188
Author(s):  
Phan Cong-Vinh
Keyword(s):  
Wireless Sensor Networks ◽  
Ad Hoc Networks ◽  
Mobile Ad Hoc Networks ◽  
Mobile Networks ◽  
Formal Specification ◽  
Vehicular Ad Hoc Networks ◽  
Ad Hoc ◽  
Wireless Sensor ◽  
Formal Specification And Verification ◽  
Hoc Networks

In mobile environments (MEs) such as vehicular ad hoc networks (VANETs), mobile ad hoc networks (MANETs), wireless sensor networks (WSNs), and so on, formal specification of self-configuring P2P networking (SPN) emerges as a need for programming, and verifying such mobile networks. Moreover, well-specified SPN in MEs becomes a requirement of developing middleware for the mobile networks. The chapter is a reference material for readers who already have a basic understanding of the MEs for their applications and are now ready to know how to specify and verify formally aspect-oriented self-configuring P2P networking (ASPN) in MEs using categorical language, assured that their computing needs are handled correctly and efficiently. ASPN in MEs is presented in a straightforward fashion by discussing in detail the necessary components and briefly touching on the more advanced components. Several explanatory notes and examples are represented throughout the chapter as a moderation of the formal descriptions. Significant properties of ASPN in MEs, which emerge from the specification, create the firm criteria for verification.

Sign in / Sign up

Export Citation Format

Share Document