9 citations · 13 across the 3 of their papers we have counts for
3 papers
Deriving Cyber-security Requirements for Cyber Physical Systems
Robert Laddaga, Paul Robertson, Howard Shrobe +3
Today's cyber physical systems (CPS) are not well protected against cyber attacks. Protected CPS often have holes in their defense, due to the manual nature of today's cyber securi…
On the Formal Semantics of the Cognitive Middleware AWDRAT
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe
The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that…
On the Behavioural Formalization of the Cognitive Middleware AWDRAT
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe
We present our ongoing work and initial results towards the (behavioral) correctness analysis of the cognitive middleware AWDRAT. Since, the (provable) behavioral correctness of a…