Login / Signup
Timed automata based modeling and veri?cation of denial of service attacks in wireless sensor networks.
Youcef Hammal
Quentin Monnet
Lynda Mokdad
Jalel Ben-Othman
Abdelli Abdelkrim
Published in:
Stud. Inform. Univ. (2014)
Keyphrases
</>
wireless sensor networks
denial of service attacks
sensor networks
petri net
base station
information systems
response time
intrusion detection system
colored petri nets