Formal Verification of Bluetooth Standard 802.11a Using UPPAAL

The time domain and node connectivity is the most critical analytical approach as an analyzer in a real time operating system. The purpose of using AODV routing protocol is to decrease the delay and increase the efficiency of the network. AODV routing protocol and employs the idea of a trust model to protect routing behaviors in the network layer of MANETs. Co-operation between nodes should be established without any centralized authority. In the TAODV, trust among nodes is represented by opinion.

Provided by: International Journal of Advanced Research in Computer Science and Software Engineering (IJARCSSE) Topic: Security Date Added: Oct 2013 Format: PDF

Find By Topic