A Model for the Analysis of Security Policies in Industrial Networks (Contributo in atti di convegno)

Type
Label
  • A Model for the Analysis of Security Policies in Industrial Networks (Contributo in atti di convegno) (literal)
Anno
  • 2013-01-01T00:00:00+01:00 (literal)
Alternative label
  • I. Cibrario Bertolotti, L. Durante, T. Hu, A. Valenzano (2013)
    A Model for the Analysis of Security Policies in Industrial Networks
    in 1st International Symposium for ICS & SCADA Cyber Security 2013 (ICS-CSR), Leicester, 16-17 Settembre 2013
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • I. Cibrario Bertolotti, L. Durante, T. Hu, A. Valenzano (literal)
Pagina inizio
  • 66 (literal)
Pagina fine
  • 77 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ewic.bcs.org/content/ConWebDoc/51170 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 11 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-IEIIT, Consiglio Nazionale delle Ricerche, Torino, Italy (literal)
Titolo
  • A Model for the Analysis of Security Policies in Industrial Networks (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-1-78017-232-3 (literal)
Abstract
  • The analysis of security policies designed for ICS and SCADA can benefit significantly from the adoption of automatic/semi-automatic software tools that are able to work at a global (system) level. This implies the availability of a suitable model of the system, which is able to combine the abstractions used in the definition of policies with the access control and right management mechanisms usually present in the real system implementation. This paper introduces a modelling framework based on the Role Based Access Control (RBAC) technique that includes all the elements needed to support different kinds of automatic security analyses such as policy coherence checks and verifications of correct implementation of policies. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Insieme di parole chiave di
data.CNR.it