DOE OSTI · code-153437
AR4IR (Automated Reasoning for Incident Response) [SWR-24-103]
Abstract
A basic formal methods tool with the ability to aid and/or automate a utilities’ incidence response and instills confidence that the proposed action satisfies the system’s physical constraints, the organization’s cyber policies, and will not cause violations of technical standards.
Keep this discovery
Explore connections, maps & timelines
Etigowni, Sriharsha [National Renewable Energy Laboratory (NREL), Golden, CO (United States)], Macwan, Richard [National Renewable Energy Laboratory (NREL), Golden, CO (United States)], Heavlin, McKenzy [National Renewable Energy Laboratory (NREL), Golden, CO (United States)]. 2025-03-27. AR4IR (Automated Reasoning for Incident Response) [SWR-24-103]. https://doi.org/10.11578/dc.20250401.1
Cite the original work for its findings. Save a collection to share your selection of sources.