Model Checking of Security Properties in Industrial Control Systems (ICS) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Roshan Shrestha' in GoogleThis author has not been identified. Look up 'Hoda Mehrpouyan' in GoogleThis author has not been identified. Look up 'Dianxiang Xu' in Google

runs on WebDSL