Login / Signup

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

Ananth A. JillepalliDaniel Conte de LeonJim Alves-FossClinton L. JefferyFrederick T. Sheldon
Published in: IEEE Access (2022)
Keyphrases
  • formal model
  • assessment process
  • cyber infrastructure
  • evaluation process
  • model checking
  • software engineering
  • formal models
  • information explosion
  • data management
  • security patterns