1. A comprehensive approach to the automatic refinement and verification of access control policies. Issue 80 (January 2019) Authors: Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano Journal: Computers & security Issue: Issue 80(2019) Page Start: 186 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Assessing network authorization policies via reachability analysis. (November 2017) Authors: Basile, Cataldo; Canavese, Daniele; Pitscheider, Christian; Lioy, Antonio; Valenza, Fulvio Journal: Computers & electrical engineering Issue: Volume 64(2017) Page Start: 110 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formally specifying and checking policies and anomalies in service function chaining. (15th November 2019) Authors: Valenza, Fulvio; Spinoso, Serena; Sisto, Riccardo Journal: Journal of network and computer applications Issue: Volume 146(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Inter‐function anomaly analysis for correct SDN/NFV deployment. (18th December 2015) Authors: Basile, Cataldo; Canavese, Daniele; Lioy, Antonio; Pitscheider, Christian; Valenza, Fulvio Journal: International journal of network management Issue: Volume 26:Number 1(2016:Jan./Feb.) Page Start: 25 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗