A Unified Class Model for Checking Security Policies in ICT Infrastructures (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• A Unified Class Model for Checking Security Policies in ICT Infrastructures (Contributo in atti di convegno) (literal)

Anno

• 2012-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1109/ESTEL.2012.6400068 (literal)

Alternative label

• I. Cibrario Bertolotti; L. Durante; T. Hu; A. Valenzano (2012)
  A Unified Class Model for Checking Security Policies in ICT Infrastructures
  in 1st IEEE-AESS Conf. on Space and Satellite Telecommunications (ESTEL 2012), Roma, 2-5 Ottobre 2012
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• I. Cibrario Bertolotti; L. Durante; T. Hu; A. Valenzano (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6400068 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 6 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni, IEIIT-CNR, Torino, Italy (literal)

Titolo

• A Unified Class Model for Checking Security Policies in ICT Infrastructures (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-1-4673-4687-0 (literal)

Abstract

• Automatic conformance checks of security policies is becoming a key issue in large ICT infrastructures that are more and more prone to cyber-attacks, in particular when wireless communication technologies and media are extensively adopted. This paper presents a hierarchical class-based model for the description of a system and its security requirements, that can be profitably used by a computer-aided analysis tool designed to carry out several kinds of policy verification. Our experience, gained in analyzing real systems, confirms that the structure and flexibility of the system description model are critical issues, together with the collection of real data needed to populate the model itself. The proposed solution is able to tolerate and overcome many of the practical limitations that are met when dealing with large and heterogeneous scenarios. (literal)

Editore

• The Institute of Electrical and Electronics Engineers (IEEE) (Editore)

Prodotto di

• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001) (Modulo)

Autore CNR

• IVAN CIBRARIO BERTOLOTTI (Persona)
• LUCA DURANTE (Unità di personale interno)
• TINGTING HU (Persona)
• ADRIANO VALENZANO (Persona)

Insieme di parole chiave

• Parole chiave di "A Unified Class Model for Checking Security Policies in ICT Infrastructures" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001) (Modulo)

Autore CNR di

• IVAN CIBRARIO BERTOLOTTI (Persona)
• ADRIANO VALENZANO (Persona)
• LUCA DURANTE (Unità di personale interno)
• TINGTING HU (Persona)

Editore di

• The Institute of Electrical and Electronics Engineers (IEEE) (Editore)

Insieme di parole chiave di

• Parole chiave di "A Unified Class Model for Checking Security Policies in ICT Infrastructures" (Insieme di parole chiave)