Vulnerability Modelling for the Analysis of Network Attacks