Formal Modeling and Performance Evaluation of Network's Server Under SYN/TCP Attack. - Naouel Ouroua; Wassila Bouzegza; Malika Ioualalen (MSPN, 2017)