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: | , , , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
MDPI AG
2018
|
Online Access: | http://hdl.handle.net/1721.1/113337 |