C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modeling and Machine-Checking Bump-in-the-Wire Security for Industrial Control Systems.
Mehdi Sabraoui
Jeffrey L. Hieb
Adrian P. Lauf
James Graham
Published in:
Critical Infrastructure Protection (2019)
Keyphrases
</>
industrial automation
control system
critical infrastructure
information security
security issues
intrusion detection
computer security
real time
closed loop
statistical databases
modeling method
security systems
security properties
security problems
industrial environment