2009 Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering A Formal Rule-Based Scheme for Digital Investigation in Wireless Ad-hoc Networks Berkeley, California, USA May 21-May 21 ISBN: 978-0-7695-3792-4
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.
Index Terms:
Digital Investigation, Wireless Networks, Formal Proof, Attack Scenarios Reconstruction, Network of Observation
Citation:
Slim Rekhis, Noureddine Boudriga, "A Formal Rule-Based Scheme for Digital Investigation in Wireless Ad-hoc Networks," sadfe, pp.62-72, 2009 Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering, 2009 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb