A formal approach for network security policy validation

  • Citation: A formal approach for network security policy validation / Valenza, Fulvio; Su, Tao; Spinoso, Serena; Lioy, Antonio; Sisto, Riccardo; Vallini, Marco. - STAMPA. - 8:1(2017), pp. 79-100.
  • Title: A formal approach for network security policy validation
  • Full authors: Fulvio Valenza, Tao Su, Serena Spinoso, Antonio Lioy, Riccardo Sisto, Marco Vallini
  • Authors: Mario Casu, Antonio Lioy, and Riccardo Sisto
  • Show in profile: Mario Casu, Antonio Lioy, and Riccardo Sisto