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. Timed automata based modeling and veri?cation of denial of service attacks in wireless sensor networks. Stud. Inform. Univ., 12(1):1-46, 2014. [doi]

Authors

Youcef Hammal

This author has not been identified. Look up 'Youcef Hammal' in Google

Quentin Monnet

This author has not been identified. Look up 'Quentin Monnet' in Google

Lynda Mokdad

This author has not been identified. Look up 'Lynda Mokdad' in Google

Jalel Ben-Othman

This author has not been identified. Look up 'Jalel Ben-Othman' in Google

Abdelli Abdelkrim

This author has not been identified. Look up 'Abdelli Abdelkrim' in Google