Mark Moulin, Emeka Eyisi, Devu Manikantan Shila, Qinqing Zhang. Automatic Construction of Attack Graphs in Cyber Physical Systems Using Temporal Logic. In 2018 IEEE Military Communications Conference, MILCOM 2018, Los Angeles, CA, USA, October 29-31, 2018. pages 933-938, IEEE, 2018. [doi]
Abstract is missing.