DocumentCode :
2431864
Title :
Network Modelling of a Blackhole Prevention Mechanism in Mobile Ad-hoc Network
Author :
Dasgupta, Moitreyee ; Santra, Debarpita ; Choudhury, Sankhayan
Author_Institution :
Dept. of Comput. Sci. & Eng., Calcutta Univ., Kolkata, India
fYear :
2012
fDate :
3-5 Nov. 2012
Firstpage :
734
Lastpage :
738
Abstract :
Network Modelling is a useful working domain for generating an insight about the events occurring in a network. In today´s scenario, Network security is one of the most important concerns and Black hole attack is one of them. Most of the proposed works for preventing Black hole in MANET are being simulated through a network simulator for performance evaluation. But the result of simulating an algorithm may be different, depending on the selected tool, because of important divergence between simulators. These solutions are not validated in true sense and as a result an occurrence of an error would be a nightmare for the solution provider after deployment of the protocol. Thus in an alternative way, a formal model of any proposed solution should be needed for the verification and validation of the process. In this paper we have proposed a coloured Petri net model for an anti black hole mechanism through coloured Petri net. The proposed formal CPN model for black hole preventing solution is being simulated through a CPN tool and analyzed to verify the necessary properties.
Keywords :
Petri nets; computer network security; mobile ad hoc networks; blackhole prevention mechanism; coloured Petri net model; mobile ad-hoc network; network modelling; network security; Analytical models; Computational modeling; Mobile ad hoc networks; Object oriented modeling; Routing protocols; Tin; Blackhole Attack Prevention; CPN Tool; Coloured Petri Net; Network modelling; Security in MANET;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computational Intelligence and Communication Networks (CICN), 2012 Fourth International Conference on
Conference_Location :
Mathura
Print_ISBN :
978-1-4673-2981-1
Type :
conf
DOI :
10.1109/CICN.2012.153
Filename :
6375210
Link To Document :
بازگشت