EFBV: En-Route Filtering Based Batch Verification scheme for false data injection attack in wireless sensor networks

Formal specifications have a variety of applications, including testing, maintenance, optimization, refactoring, documentation, and program repair. However, such specifications are difficult for human programmers to produce and verify manually, and existing automatic specification miners that discover two-state temporal properties have prohibitively high false positive rates, Wireless Sensor Networks are usually deployed at unattended or hostile environments. So they are very vulnerable to injecting false data attack. An adversary could compromise a sensor node accesses all stored keying materials and inject false data causing energy wasted in en-route nodes. In this paper, we propose En-Route Filtering Based Batch Verification (EFBV) scheme to find gang injecting false data attack and filter the false data. By batch verification of reports the false data can be identified and filtered easily. With the proposed mechanism, injected bogus data can be early detected and filtered by En-Route sensor nodes. Thus, it can be discover the intruder before it reaches the sink. The proposed EFBV scheme could be effectively saving energy and avoid sink overhead. It also makes possible to thwart the false data even if network contains at least one uncompromised neighboring node. The proposed scheme achieves most energy efficient, the high filtering probability, scalability and reliability, reduce traffic overhead.