A Formal Environment for MANET Organization and Security.

Aida Ben Chehida Douss Ryma Abassi Nihel Ben Youssef Sihem Guemara El Fatmi

Published in: CANS (2015)

Keyphrases

mobile robot
security issues
formal model
access control
information security
mobile ad hoc networks
real time
intrusion detection
information processing
security policies
cooperative
knowledge management
routing protocol
security protocols
business environment
reactive systems