A Cyber Attack Modeling and Impact Assessment framework
GOLOG: A Logic Programming Language for Dynamic Domains