DEMO: Akatosh: Automated Cyber Incident Verification and Impact Analysis.

Jared M. Smith Elliot Greenlee Aaron E. Ferber

Published in: CCS (2017)

Keyphrases

impact analysis
dependency analysis
source code
model checking
change impact analysis
software development
life cycle
open source
signaling pathways