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

Journal article

Open access

Peer reviewed

IEEE Access, Vol.10, pp.83755-83792

2022

Files and links (1)

url

https://ieeexplore.ieee.org/document/9852217/View

Open

5 Record Views

Title: A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber Infrastructure
Creators: Ananth A Jillepalli - Washington State University
Daniel Conte de Leon
Jim Alves-Foss - University of Idaho
Clint Jeffery
Frederick T Sheldon - University of Idaho
Publication Details: IEEE Access, Vol.10, pp.83755-83792
Identifiers: 996631989701851
Academic Unit: Center for Secure and Dependable Systems; Computer Science
Language: English
Resource Type: Journal article
Local Fields: n749138