Assessing Security and Dependability of a Network System Susceptible to Lateral Movement Attacks | IEEE Conference Publication | IEEE Xplore