Automated Analysis of Access Policies in Industrial Plants

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.

Content

Author and article information

Contributors

Manuel Cheminod

Luca Durante

Lucia Seno

Adriano Valenzano

Conference

Publication date: September 2014

Publication date (Print): September 2014

Pages: 43-52

Affiliations

[0001]National Research Council of Italy – IEIIT

c.so Duca degli Abruzzi 24

I-10129 Torino

Italywww.ieiit.cnr.it

Article

DOI: 10.14236/ewic/ICSCSR2014.6

SO-VID: 509cde4e-3326-44a2-9273-83e0a493a87d

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: 2nd International Symposium for ICS & SCADA Cyber Security Research 2014 (ICS-CSR 2014)

Conference acronym: ICSCSR

Conference number: 2

Conference location: St Pölten, Austria

Conference date: 11-12 September 2014

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: ICS & SCADA Cyber Security Research 2014 (ICS-CSR 2014)

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/ICSCSR2014.6

Self URI (journal page): https://ewic.bcs.org/

Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

Automated Analysis of Access Policies in Industrial Plants

Abstract