Security investigation in wireless networks(invited talk)
Slim Rekhis · 2014
Most of the theoretical techniques of digital investigation provided in the literature are neither able to cope with attacks in wireless networks, nor able to investigate anti-forensic attacks. In this talk, I will describe a formal approach for digital investigation of security attacks in wireless networks, and I will provide a model for describing attack scenarios in a wireless environment, and evidence generated at the system and network layers. In this talk, an inference system that integrates the two types of evidence, handles the incompleteness and duplication of information in them, will be provided. It allows generating and proving potential and provable forms of actions and attack scenarios. The last part of the talk will be related to the investigation of anti-forensic attacks. A formal approach, based on a novel theory of Hierarchical Visibility, will be provided for the forensic investigation of security incidents, which are conducted over complex systems and integrate anti-forensic attacks.