Pattern-based digital investigation of x-hole attacks in wireless adhoc and sensor networks

We introduce in this paper the concept, generation, and usage of security attack patterns as a valuable technique for conducting digital investigation. A formal approach based on the use of these patterns is introduced for the reconstruction of potential attack scenarios and characterizing provable properties and actions. To exemplify the proposal, a case study dealing with investigation on wormhole attacks is provided.