Browsing MIT by Subject "cyber-security"
Now showing items 1-1 of 1
-
On the Formal Semantics of the Cognitive Middleware AWDRAT
(2015-03-03)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 the formalism not only helps to understand ...