A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Formal reconstruction of attack scenarios in mobile ad hoc and sensor networks
2011
EURASIP Journal on Wireless Communications and Networking
Several techniques of theoretical digital investigation are presented in the literature but most of them are unsuitable to cope with attacks in wireless networks, especially in Mobile Ad hoc and Sensor Networks (MASNets). In this article, we propose a formal approach for digital investigation of security attacks in wireless networks. We provide a model for describing attack scenarios in a wireless environment, and system and network evidence generated consequently. The use of formal approaches
doi:10.1186/1687-1499-2011-39
fatcat:r3bfob7ejndpzmqf725pri5x6q