Systematic Approaches to Digital Forensic Engineering, IEEE International Workshop on (2009)
Berkeley, California, USA
May 21, 2009 to May 21, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SADFE.2009.16
Existing investigation schemes are not suitable to cope with attacks in wireless networks, especially in MANet. We propose in this paper a formal approach for digital investigation of security attacks in wireless networks. We provide a model for describing attack scenarios in wireless environment, and system and network evidences generated consequently. We develop an inference system that integrates the two types of evidences, handles incompleteness and duplication of information in them, and allows to generate potential and provable actions and attack scenarios. To exemplify the proposal, we consider a case study dealing with a Denial of Service attack on a web server, where the attacker and the target represent mobile nodes.
Digital Investigation, Wireless Networks, Formal Proof, Attack Scenarios Reconstruction, Network of Observation
S. Rekhis and N. Boudriga, "A Formal Rule-Based Scheme for Digital Investigation in Wireless Ad-hoc Networks," Systematic Approaches to Digital Forensic Engineering, IEEE International Workshop on(SADFE), Berkeley, California, USA, 2009, pp. 62-72.