Automated Analysis of Access Policies in Industrial Plants (Contributo in atti di convegno)

Type
Label
  • Automated Analysis of Access Policies in Industrial Plants (Contributo in atti di convegno) (literal)
Anno
  • 2014-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.14236/ewic/ics-csr2014.6 (literal)
Alternative label
  • M. Cheminod, L. Durante, L. Seno, A. Valenzano (2014)
    Automated Analysis of Access Policies in Industrial Plants
    in 2nd Int. Symposium for ICS & SCADA Cyber Security Research (ICS-CSR), St Pölten, 11-12 Sept. 2014
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • M. Cheminod, L. Durante, L. Seno, A. Valenzano (literal)
Pagina inizio
  • 43 (literal)
Pagina fine
  • 52 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ewic.bcs.org/content/ConWebDoc/53229 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Proceedings of the 2nd Int. Symposium for ICS & SCADA Security Research (ICS-CSR) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 11 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-IEIIT, Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni, Torino, Italy (literal)
Titolo
  • Automated Analysis of Access Policies in Industrial Plants (literal)
Abstract
  • Access control policies are a key element for designing and implementing secure industrial distributed systems. A new technique for checking the correct mapping of high-level access policies onto low-level access control mechanisms, which are included in the actual system, is presented in this paper by means of a case study. The proposed approach has been adopted for developing an automated analysis software tool, whose main characteristics are also discussed. (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