A formal approach for secured risk analysis in information security management

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]

@inproceedings{Zenitani22-0,
  title = {A formal approach for secured risk analysis in information security management},
  author = {Kengo Zenitani},
  year = {2022},
  doi = {10.1109/BESC57393.2022.9995464},
  url = {https://doi.org/10.1109/BESC57393.2022.9995464},
  researchr = {https://researchr.org/publication/Zenitani22-0},
  cites = {0},
  citedby = {0},
  pages = {1-7},
  booktitle = {9th International Conference on Behavioural and Social Computing, BESC 2022, Matsuyama, Japan, October 29-31, 2022},
  publisher = {IEEE},
  isbn = {979-8-3503-9814-4},
}