应对拒绝服务安全攻击的混合系统框架
计算机科学中的逻辑
2014-03-28 v2 密码学与安全
系统与控制
摘要
混合系统是离散计算与连续物理演化的集成。此类系统的物理组件引入了安全性要求，为实现这些要求，需要离散控制器进行正确的监控。然而，由于拒绝服务安全攻击，无法接收到来自控制器的预期信息，结果可能导致物理系统无法按预期运行。本文提出了一个形式化框架，用于表示混合系统中的拒绝服务安全攻击。其优势在于，当理想控制因不可靠通信而失效时，物理系统能够规划合理的行为，从而在发生拒绝服务时仍保证系统的安全性。在建模语言的语境下，我们开发了一个推理系统，用于在不对外部环境行为作任何假设的情况下验证混合系统的安全性。基于该推理系统，我们实现了一个交互式定理证明器，并将其应用于检查一个取自列车控制系统的实例。
引用
@article{arxiv.1403.6367,
title = {A Framework for Hybrid Systems with Denial-of-Service Security Attack},
author = {Shuling Wang and Flemming Nielson and Hanne Riis Nielson},
journal= {arXiv preprint arXiv:1403.6367},
year = {2014}
}
备注
19 pages, 1 figures, the short version was accepted by FORTE 2014