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 i...
Main Authors: | , , , |
---|---|
Other Authors: | |
Format: | Article |
Language: | English |
Published: |
MDPI AG,
2018-01-29T19:49:21Z.
|
Subjects: | |
Online Access: | Get fulltext |