A Formally Reliable Cognitive Middleware for the Security of Industrial Control Systems
In this paper, we present our results on the formal reliability analysis of the behavioral correctness of our cognitive middleware ARMET. The formally assured behavioral correctness of a software system is a fundamental prerequisite for the system’s security. Therefore, the goal of this study is to,...
Main Authors: | Khan, Muhammad Taimoor, Serpanos, Dimitrios, Khan, Muhammad, Shrobe, Howard E |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Published: |
MDPI AG
2018
|
Online Access: | http://hdl.handle.net/1721.1/113337 |
Similar Items
-
On the Formal Semantics of the Cognitive Middleware AWDRAT
by: Khan, Muhammad Taimoor, et al.
Published: (2015) -
Sound and Complete Runtime Security Monitor for Application Software
by: Khan, M. Taimoor, et al.
Published: (2016) -
Reliable peer to peer grid middleware
by: Leslie, M
Published: (2011) -
Security middleware for IMS-WLAN interworking
by: Oscar Caicedo, et al.
Published: (2013-02-01) -
A survey of secure middleware for the Internet of Things
by: Paul Fremantle, et al.
Published: (2017-05-01)