CPN validation of neighbor detection protocol for ad hoc networks.
Suchismita ChinaraSantanu Kumar RathPublished in: ICICS (2011)
Keyphrases
- ad hoc networks
- group key agreement
- mac protocol
- coloured petri nets
- network topology
- routing protocol
- routing algorithm
- end to end
- key management
- wireless networks
- mobile nodes
- wireless ad hoc networks
- wired networks
- ns simulator
- secure routing
- routing scheme
- aodv routing protocol
- peer to peer
- wireless mesh networks
- quality of service
- packet delivery
- mobile wireless
- multi hop
- route discovery
- multi path routing
- end to end delay
- petri net
- mobile networks
- network infrastructure
- key establishment
- group communication
- multipath routing
- base station
- network security
- anomaly detection
- ad hoc networking
- mobile ad hoc networks
- response time
- key distribution
- service differentiation
- neighboring nodes