Attack graph compression