Lateral Movement and Network Propagation