Investigating the modeling assumptions of alert-driven attack graphs