A Formally Reliable Cognitive Middleware for the Security of Industrial Control Systems

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,...

Full description

Bibliographic Details
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)

Indoor positioning system (middleware)
by: Leow, Yan Hao.
Published: (2012)

The use of pattern in CORBA middleware : XML-Acceptor pattern / Norliana Muhammad
by: Muhammad, Norliana
Published: (2005)

Comparative analysis on adaptive features for RFID middleware
by: Mohd. Hashim, Siti Zaiton, et al.
Published: (2008)

Middleware framework for integration of heterogeneous hardware and software
by: Abu Bakar, Ahmad Izzuddin, et al.
Published: (2011)

Middleware for heterogeneous subsystems interoperability in intelligent buildings
by: Perumal, Thinagaran, et al.
Published: (2010)

A trigger-based middleware cache for ORMs
by: Gupta, Priya, et al.
Published: (2012)

Middleware-based model for dynamic reconfiguration of web service
by: Ilahi, Rahmat, et al.
Published: (2018)

Integrating XML with relational databases using middleware approach
by: Kum, Lee Ching, et al.
Published: (2005)

Middleware Component Using Enterprise Java Bean (EJB)
by: Kannan, Kavitha
Published: (2003)

Design and testing of a sensor middleware for mobile phones
by: Williams, Clayton James
Published: (2010)

Modeling middleware platform for supporting communication between IoT devices
by: Fakhri, Marwan Najm
Published: (2019)

A Formal Venture into Reliable Multicast Territory
by: Livadas, Carolos, et al.
Published: (2023)

RFID based track and trace system design and development : middleware and capture application development
by: Lee, Lin Cheng.
Published: (2009)

Fostering E-Science application in campus grid infrastructure based on gLite middleware
by: Sjaugi, Muhammad Farhan, et al.
Published: (2010)

Formal verification of security protocols
by: Mok, Xin Mun
Published: (2022)

An integrated formal approach for developing reliable software of safety-critical system
by: Ouyang, Meng
Published: (2005)

Towards a reusable and extensible adapter framework for a data mining middleware
by: Hen, Lai Ee, et al.
Published: (2008)

Competitive analysis and conceptual design of semi equipment communication standards and middleware technology
by: Tin Oo.
Published: (2008)

Performance analysis of data mining tools cumulating with a proposed data mining middleware
by: Hen, Lai Ee, et al.
Published: (2008)

Perbandingan OpenMPI dan LAM/MPI sebagai Middleware jaringan Cluster Server
by: Sumaryono, Sujoko, et al.
Published: (2011)

Formal analysis of anxiety in cognitive model of interviewee mental state
by: Ajoge, Naseer Sanni, et al.
Published: (2017)

A formal approach for detection of security flaws in the android permission system
by: Bagheri, Hamid, et al.
Published: (2018)

The value of storage in securing reliability and mitigating risk in energy systems
by: ParandehGheibi, Ali, et al.
Published: (2016)

Floyd-Hoare Verifiers "Considered Harmful"
by: Shrobe, Howard E.
Published: (2004)

New Architectural Models for Visibly Controllable Computing: The Relevance of Dynamic Object Oriented Architectures and Plan Based Computing Models
by: Shrobe, Howard, et al.
Published: (2004)

New Architectural Models for Visibly Controllable Computing: The Relevance of Dynamic Object Oriented Architecturesand Plan Based Computing Models
by: Shrobe, Howard, et al.
Published: (2005)

Enabling location awareness with automatic reprogrammable context-sensitive bio-bridge middleware for smart bio-laboratories
by: For, Wei Khing
Published: (2011)

Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime
by: Ab. Aziz, Azizi, et al.
Published: (2017)

Security issues in cognitive radios
by: Ang, Alvin Choon Peng
Published: (2012)

Cognitive Security for Personal Devices
by: Greenstadt, Rachel, et al.
Published: (2008)

A formal specification and verification framework for timed security protocols
by: Li, Li, et al.
Published: (2020)

Securing smart contracts with formal verification and automated program repair
by: Tolmach, Palina
Published: (2023)

A framework for specifying and formally verifying application security policies
by: Shao, Christopher,M. Eng.Massachusetts Institute of Technology.
Published: (2019)

On reliable control system designs
Published: (2003)

On reliable control system designs
Published: (2003)

On reliable control system designs.
by: Birdwell, J. Douglas (John Douglas)
Published: (2005)

An investigation of the reliability analysis of speaking test
by: Khan, Raja Muhammad Ishtiaq, et al.
Published: (2020)

Formal report industrial with Tetra Pak
by: Tan, Christopher Jen Wei.
Published: (2008)