3 papers
cs.SE2020
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems
Smitha Gautham, Abhilash Rajagopala, Athira Varma Jayakumar +3
Advanced embedded system technology is one of the key driving forces behind the rapid growth of Cyber-Physical System (CPS) applications. Cyber-Physical Systems are comprised of mu…
cs.CR2020
An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security
Christopher Deloglos, Carl Elks, Ashraf Tantawy
Characterizing attacker behavior with respect to Cyber-Physical Systems is important to assuring the security posture and resilience of these systems. Classical cyber vulnerability…
cs.CR2020
Fundamental Challenges of Cyber-Physical Systems Security Modeling
Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos +3
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…