Automatic Construction of Attack Graphs in Cyber Physical Systems Using Temporal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Mark Moulin' in GoogleThis author has not been identified. Look up 'Emeka Eyisi' in GoogleThis author has not been identified. Look up 'Devu Manikantan Shila' in GoogleThis author has not been identified. Look up 'Qinqing Zhang' in Google

runs on WebDSL