Login / Signup
Mehdi Sabraoui
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Industrial Environment
Control System
Modeling Method
Closed Loop
Top Venues
Critical Infrastructure Protection
</>
Publications
</>
Mehdi Sabraoui
,
Jeffrey L. Hieb
,
Adrian P. Lauf
,
James Graham
Modeling and Machine-Checking Bump-in-the-Wire Security for Industrial Control Systems.
Critical Infrastructure Protection
(2019)