TY - GEN
T1 - Fundamental challenges of cyber-physical systems security modeling
AU - Bakirtzis, Georgios
AU - Ward, Garrett
AU - Deloglos, Christopher
AU - Elks, Carl
AU - Horowitz, Barry
AU - Fleming, Cody
N1 - Publisher Copyright:
© 2020 IEEE.
PY - 2020/6/1
Y1 - 2020/6/1
N2 - Systems modeling practice lacks security analysis tools that can interface with modeling languages to facilitate security by design. Security by design is a necessity in the age of safety critical cyber-physical systems, where security violations can cause hazards. Currently, the overlap between security and safety is narrow. But deploying cyber-physical systems means that today's adversaries can intentionally trigger accidents. By implementing security assessment tools for modeling languages we are better able to address threats earlier in the system's lifecycle and, therefore, assure their safe and secure behavior in their eventual deployment. We posit that cyber-physical systems security modeling is practiced insufficiently because it is still addressed similarly to information technology systems.
AB - Systems modeling practice lacks security analysis tools that can interface with modeling languages to facilitate security by design. Security by design is a necessity in the age of safety critical cyber-physical systems, where security violations can cause hazards. Currently, the overlap between security and safety is narrow. But deploying cyber-physical systems means that today's adversaries can intentionally trigger accidents. By implementing security assessment tools for modeling languages we are better able to address threats earlier in the system's lifecycle and, therefore, assure their safe and secure behavior in their eventual deployment. We posit that cyber-physical systems security modeling is practiced insufficiently because it is still addressed similarly to information technology systems.
UR - https://www.scopus.com/pages/publications/85093698000
U2 - 10.1109/DSN-S50200.2020.00021
DO - 10.1109/DSN-S50200.2020.00021
M3 - Conference contribution
AN - SCOPUS:85093698000
T3 - Proceedings - 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks: Supplemental Volume, DSN-S 2020
SP - 33
EP - 36
BT - Proceedings - 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks: Supplemental Volume, DSN-S 2020
Y2 - 29 June 2020 through 2 July 2020
ER -