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

    Automated Analysis of Access Policies in Industrial Plants

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

    St Pölten, Austria, 11-12 September 2014


    Manuel Cheminod, Luca Durante, Lucia Seno & Adriano Valenzeno



    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.


    PDF file PDF Version of this Paper 647(kb)

    ICS-CSR 2014: International Symposium for ICS & SCADA Cyber Security Research cover

    Print copies of ICS-CSR 2014
    ISBN 978-1-78017-286-6
    RRP £85

    Available from the BCS bookshop