Kengo Zenitani. A formal approach for secured risk analysis in information security management. In 9th International Conference on Behavioural and Social Computing, BESC 2022, Matsuyama, Japan, October 29-31, 2022. pages 1-7, IEEE, 2022. [doi]
Abstract is missing.