![](/img/cover-not-exists.png)
A Method for Revealing and Addressing Security Vulnerabilities in Cyber-physical Systems by Modeling Malicious Agent Interactions with Formal Verification
Wardell, Dean C., Mills, Robert F., Peterson, Gilbert L., Oxley, Mark E.Volume:
95
Year:
2016
Language:
english
Journal:
Procedia Computer Science
DOI:
10.1016/j.procs.2016.09.289
File:
PDF, 134 KB
english, 2016