A Formal Model of Network Policy Analysis

Il contenuto (Full text) non è disponibile all'interno di questo archivio. Spedisci una richiesta all'autore per una copia del documento
Tipo di pubblicazione: Articolo in atti di convegno
Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti di convegno
Titolo: A Formal Model of Network Policy Analysis
Autori: Valenza, F.; Spinoso, S.; Basile, C.; Sisto, R.; Lioy, A.
Autori di ateneo:
Intervallo pagine: pp. 516-522
Tipo di referee: Esperti anonimi
Editore: IEEE
ISBN: 978-1-4673-8166-6
Volume: RTSI 2015 - First International Forum on Research and Technologies for Society and Industry - Proceedings
Titolo del convegno: RTSI 2015 - First International Forum on Research and Technologies for Society and Industry
Luogo dell'evento: Torino, Italy
Data dell'evento: 16-18 September 2015
Luogo di pubblicazione: New York
Abstract: The complexity of network topology together with heterogeneity of network services make the network configuration a hard task, even for skilled and experienced administrators. In order to reduce the complexity of the network configuration, administrators have leveraged network policies, introducing hence new possibility of error. Indeed, erroneous and unexpected network behaviour (e.g., security flaws) can derive from the wrong network policy definition, but also from the possible anomalies among policies of different domains. This paper presents a formal model for detecting inter- and intra-domain policy anomalies. Policy anomalies allow administrators to identify all the network behaviours they consider erroneous or to be monitored. To validate the generality of the proposed solution, the model has been applied to three policy domains (packet filtering, communication protection and service function chaining) and the impact of an anomaly detection analysis was tested in different sized networks
Data: 2015
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: computer networks, network configuration, network policies, formal models
Dipartimenti (originale): DAUIN - Dipartimento di Automatica Informatica
Dipartimenti: DAUIN - Dipartimento di Automatica e Informatica
URL correlate:
Area disciplinare: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Data di deposito: 08 Set 2016 18:02
Data ultima modifica (IRIS): 08 Set 2016 16:02:42
Data inserimento (PORTO): 10 Set 2016 04:38
Numero Identificativo (DOI): 10.1109/RTSI.2015.7325150
Permalink: http://porto.polito.it/id/eprint/2621143
Link resolver URL: Link resolver link
Citazioni:

Il campo presenta il numero di citazioni presenti sulle banche dati Scopus e Web of Science e permette di accedere ai relativi record. Visualizza inoltre il link al record presente su Google Scholar.

Possono verificarsi discrepanze rispetto ai dati presenti sulle banche dati per i seguenti motivi:

  • Differenze tra i dati riportati su IRIS e quelli presenti nelle banche dati.
  • Il numero di citazioni riportate su PORTO viene estratto mensilmente. Il dato citazionale presente sulle singole banche dati è aggiornato in tempo reale
  • Il numero di citazioni per WoS viene calcolato sulla base delle collezioni in abbonamento (Science citation index Expanded e Conference Proceedings Citation Index)

Per informazioni o segnalazioni contattare scrivia/porto

+
-

Azioni (richiesto il login)

Visualizza il documento (riservato amministratori) Visualizza il documento (riservato amministratori)