Predicting and Visualizing Lateral Movements Based on ATT&CK and Quantification Theory Type 3. - Satoshi Okada; Yosuke Katano; Yukihiro Kozai; Takuho Mitsunaga (J. Cases Inf. Technol., 2023)