no code implementations • 30 Apr 2022 • Minghui Sun, Cody H. Fleming
With the rapid advancement of Formal Methods, Model-based Safety Analysis (MBSA) has been gaining tremendous attention for its ability to rigorously verify whether the safety-critical scenarios are adequately addressed by the design solution of a cyber-physical human system.
no code implementations • 27 May 2021 • Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming
Engineering safe and secure cyber-physical systems requires system engineers to develop and maintain a number of model views, both dynamic and static, which can be seen as algebras.
1 code implementation • 30 Apr 2020 • Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody H. Fleming
Systems modeling practice lacks security analysis tools that can interface with modeling languages to facilitate security by design.
Cryptography and Security Systems and Control Systems and Control
no code implementations • 6 Sep 2019 • Georgios Bakirtzis, Brandon J. Simon, Aidan G. Collins, Cody H. Fleming, Carl R. Elks
Applying security as a lifecycle practice is becoming increasingly important to combat targeted attacks in safety-critical systems.
Systems and Control Cryptography and Security Systems and Control
1 code implementation • 24 Aug 2018 • Georgios Bakirtzis, Brandon J. Simon, Cody H. Fleming, Carl R. Elks
Today, there is a plethora of software security tools employing visualizations that enable the creation of useful and effective interactive security analyst dashboards.
Human-Computer Interaction Cryptography and Security
1 code implementation • 31 Oct 2017 • Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody H. Fleming
To construct such a model we produce a taxonomy of attributes; that is, a generalized schema for system attributes.
Cryptography and Security Systems and Control Systems and Control