认知中间件AWDRAT的形式语义学
编程语言
2014-12-16 v2 计算机科学中的逻辑
摘要
本工作的目的有两方面：一方面，我们希望形式化自生成和自适应认知中间件AWDRAT的关键组件的行为，使得该形式化不仅有助于理解中间件的语义和技术细节，而且为扩展中间件以支持其他复杂的网络安全应用领域提供了机会；另一方面，该形式化是我们证明关键组件行为正确性以确保中间件自身安全性的前提。然而，这里我们只关注中间件的核心关键组件，即执行监视器（Execution Monitor），它是AWDRAT模块“架构差异器”的一部分。执行监视器的作用是识别目标系统的运行时观测值与系统架构模型预测之间的不一致性。因此，为实现这一目标，我们首先定义了观测值（运行时事件）和预测值（作为系统架构模型的可执行规范）的形式（指称）语义；然后基于上述形式语义，我们形式化了中间件“执行监视器”的行为。
引用
@article{arxiv.1412.3588,
title = {On the Formal Semantics of the Cognitive Middleware AWDRAT},
author = {Muhammad Taimoor Khan and Dimitrios Serpanos and Howard Shrobe},
journal= {arXiv preprint arXiv:1412.3588},
year = {2014}
}
备注
Technical report (submitted) to CSAIL, MIT, USA