Show simple item record

On the Formal Semantics of the Cognitive Middleware AWDRAT

dc.contributorAIREen_US
dc.date.accessioned2015-03-03T21:00:05Z
dc.date.accessioned2018-11-26T22:27:20Z
dc.date.available2015-03-03T21:00:05Z
dc.date.available2018-11-26T22:27:20Z
dc.date.issued2015-03-03
dc.identifier.urihttp://hdl.handle.net/1721.1/95774
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/95774
dc.description.abstractThe 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 the semantics and technical details of the middleware but also opens an opportunity to extend the middleware to support other complex application domains of cybersecurity; on the other hand, the formalism serves as a prerequisite for our proof of the behavioral correctness of the critical components to ensure the safety of the middleware itself. However, here we focus only on the core and critical component of the middleware, i.e. Execution Monitor which is a part of the module "Architectural Differencer" of AWDRAT. The role of the execution monitor is to identify inconsistencies between run-time observations of the target system and predictions of the System Architectural Model. Therefore, to achieve this goal, we first define the formal (denotational) semantics of the observations (run-time events) and predictions (executable specifications as of System Architectural Model); then based on the aforementioned formal semantics, we formalize the behavior of the "Execution Monitor" of the middleware.en_US
dc.format.extent60 p.en_US
dc.subjectcyber-securityen_US
dc.subjectreference-monitoren_US
dc.subjectwrappersen_US
dc.subjectexecutable specificationen_US
dc.titleOn the Formal Semantics of the Cognitive Middleware AWDRATen_US


Files in this item

FilesSizeFormatView
MIT-CSAIL-TR-2015-007.pdf407.4Kbapplication/pdfView/Open

This item appears in the following Collection(s)

Show simple item record