Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano. Automated Analysis of Access Policies in Industrial Plants. In Helge Janicke, Kevin Jones, editors, 2nd International Symposium for ICS & SCADA Cyber Security Research 2014, ICS-CSR 2014, 11-12 September 2014, St. Pölten, Austria. Workshops in Computing, BCS, 2014. [doi]
Abstract is missing.