A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber Infrastructure Academic Article uri icon

Overview

publication date

  • 2022

Identity

Additional Document Info

start page

  • 83755

end page

  • 83792

volume

  • 10