Assessing network authorization policies via reachability analysis Cataldo Basile, Daniele Canavese, Christian Pitscheider, Antonio Lioy, Fulvio Valenza (2017) Assessing network authorization policies via reachability analysis, In: COMPUTERS & ELECTRICAL ENGINEERING, pp. 110-131, ISSN: 0045-7906