Runtime monitors as sensors of security systems

被引：0
|
作者：
Department of Computer Science, University of Memphis, Memphis, TN-38152, United States [1 ]
机构：
来源：
Proc. IASTED INt. Conf. Parall. Distrib. Comput. Syst. | / 49-58期
关键词：
Compendex;
D O I：
IASTED International Conference on Parallel and Distributed Computing and Systems, PDCS 2011
中图分类号：
学科分类号：
摘要：
Security systems
引用
收藏
相关论文
共 50 条
  • [11] Method for Automatic Resumption of Runtime Verification Monitors
    Drabek, Christian
    Weiss, Gereon
    Bauer, Bernhard
    THIRD INTERNATIONAL CONFERENCE ON ADVANCES AND TRENDS IN SOFTWARE ENGINEERING (SOFTENG 2017), 2017, : 31 - 36
  • [12] Overhead-Aware Deployment of Runtime Monitors
    Zhang, Teng
    Eakman, Greg
    Lee, Insup
    Sokolsky, Oleg
    RUNTIME VERIFICATION, RV 2019, 2019, 11757 : 375 - 381
  • [13] Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems
    Nandi, Giann Spilere
    Pereira, David
    Proenca, Jose
    Tovar, Eduardo
    2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2020, : 395 - 398
  • [14] RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics
    Tomoya Yamaguchi
    Bardh Hoxha
    Dejan Ničković
    International Journal on Software Tools for Technology Transfer, 2024, 26 : 79 - 99
  • [15] Preserving consistency of runtime monitors across protocol changes
    Subramaniam, M
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 590 - 599
  • [16] RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics
    Yamaguchi, Tomoya
    Hoxha, Bardh
    Nickovic, Dejan
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2024, 26 (01) : 79 - 99
  • [17] Runtime enforcement monitors: composition, synthesis, and enforcement abilities
    Yliès Falcone
    Laurent Mounier
    Jean-Claude Fernandez
    Jean-Luc Richier
    Formal Methods in System Design, 2011, 38 : 223 - 262
  • [18] Semantics-directed Prototyping of Hardware Runtime Monitors
    Harrison, William L.
    Allwein, Gerard
    PROCEEDINGS OF THE 2018 29TH INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP): SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2018, : 42 - 48
  • [19] Hardware-Enhanced Protection for the Runtime Data Security in Embedded Systems
    Wang, Weike
    Zhang, Xiaobing
    Hao, Qiang
    Zhang, Zhun
    Xu, Bin
    Dong, Haifeng
    Xia, Tongsheng
    Wang, Xiang
    ELECTRONICS, 2019, 8 (01)
  • [20] Accelerated Learning of Predictive Runtime Monitors for Rare Failure
    Babaee, Reza
    Ganesh, Vijay
    Sedwards, Sean
    RUNTIME VERIFICATION, RV 2019, 2019, 11757 : 111 - 128
12345