Text size
  • Small
  • Medium
  • Large
Contrast
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    A Model for the Analysis of Security Policies in Industrial Networks

    1st International Symposium for ICS & SCADA Cyber Security Research 2013 (ICS-CSR 2013)

    Leicester, UK, 16-17 September 2013

    AUTHORS

    Ivan Cibrario Bertolotti, Luca Durante, Tingting Hu & Adriano Valenzano

    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 suitablemodel 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 modeling 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.

    PAPER FORMATS

    PDF file PDF Version of this Paper 421(kb)

    1st International Symposium for ICS & SCADA Cyber Security Research 2013 cover

    Print copies of ICS-CSR
    ISBN 978-1-780172-32-3
    RRP £85

    Available from the BCS bookshop