Roshan Shrestha, Hoda Mehrpouyan, Dianxiang Xu. Model Checking of Security Properties in Industrial Control Systems (ICS). In Ziming Zhao, Gail-Joon Ahn, Ram Krishnan, Gabriel Ghinita, editors, Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, CODASPY 2018, Tempe, AZ, USA, March 19-21, 2018. pages 164-166, ACM, 2018. [doi]
Abstract is missing.