Attack graph modeling in Python (early, incomplete prototype)