Modelling distributed network attacks with constraints - Salgueiro, Pedro; Abreu, Salvador (2013)