AAG (Automated Attack graph)

AAG is a tool for generating automatic attack graph.

Clone AAG Directory

git clone [email protected]:node104/AttackGraph-2018.git

Insturction for installation of z3 on python can be found here,

https://github.com/Z3Prover/z3

python3 aag.py

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
Previous Work		Previous Work
Automated Attack Graph Generation.pdf		Automated Attack Graph Generation.pdf
README.md		README.md
aag.py		aag.py