Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Fleminｇ, Cody H."'
Autor:
Sun, Minghui, Fleming, Cody H.
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 cyb
Externí odkaz:
http://arxiv.org/abs/2205.00152
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. We posit that verifying the composition of requirement, behavioral,
Externí odkaz:
http://arxiv.org/abs/2105.12911
Our work focuses on modeling the security of systems from their component-level designs. Towards this goal, we develop a categorical formalism to model attacker actions. Equipping the categorical formalism with algebras produces two interesting resul
Externí odkaz:
http://arxiv.org/abs/2103.00044
Publikováno v:
EPTCS 333, 2021, pp. 125-138
Assuring the correct behavior of cyber-physical systems requires significant modeling effort, particularly during early stages of the engineering and design process when a system is not yet available for testing or verification of proper behavior. A
Externí odkaz:
http://arxiv.org/abs/2101.10484
Cyber-physical systems require the construction and management of various models to assure their correct, safe, and secure operation. These various models are necessary because of the coupled physical and computational dynamics present in cyber-physi
Externí odkaz:
http://arxiv.org/abs/2010.08003
Autor:
Bakirtzis, Georgios, Sherburne, Tim, Adams, Stephen, Horowitz, Barry M., Beling, Peter A., Fleming, Cody H.
System complexity has become ubiquitous in the design, assessment, and implementation of practical and useful cyber-physical systems. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that
Externí odkaz:
http://arxiv.org/abs/2006.05304
Autor:
Bakirtzis, Georgios, Ward, Garrett L., Deloglos, Christopher J., Elks, Carl R., Horowitz, Barry M., Fleming, Cody H.
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
Externí odkaz:
http://arxiv.org/abs/2005.00043
Applying security as a lifecycle practice is becoming increasingly important to combat targeted attacks in safety-critical systems. Among others there are two significant challenges in this area: (1) the need for models that can characterize a realis
Externí odkaz:
http://arxiv.org/abs/1909.02923
Petroleum industry is the world's biggest energy source, and its associated industries such as production, distribution, refining and retail are considered as the largest ones in the world. Having the increasing price and governments job creation and
Externí odkaz:
http://arxiv.org/abs/1907.11789
Today, there is a plethora of software security tools employing visualizations that enable the creation of useful and effective interactive security analyst dashboards. Such dashboards can assist the analyst to understand the data at hand and, conseq
Externí odkaz:
http://arxiv.org/abs/1808.08081