Attack modelling and security evaluation based on stochastic activity networks. Issue 4 (26th April 2013)