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 条
  • [21] Automated Translation of Natural Language Requirements to Runtime Monitors
    Perez, Ivan
    Mavridou, Anastasia
    Pressburger, Tom
    Goodloe, Alwyn
    Giannakopoulou, Dimitra
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I, 2022, 13243 : 387 - 395
  • [22] Synthesising Correct Concurrent Runtime Monitors (Extended Abstract)
    Francalanza, Adrian
    Seychell, Aldrin
    RUNTIME VERIFICATION, RV 2013, 2013, 8174 : 112 - 129
  • [23] Runtime enforcement monitors: composition, synthesis, and enforcement abilities
    Falcone, Ylies
    Mounier, Laurent
    Fernandez, Jean-Claude
    Richier, Jean-Luc
    FORMAL METHODS IN SYSTEM DESIGN, 2011, 38 (03) : 223 - 262
  • [24] Transparent runtime randomization for security
    Xu, J
    Kalbarczyk, Z
    Iyer, RK
    22ND INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2003, : 260 - 269
  • [25] Usiminas monitors Emissions with Sensors
    Gruetzmacher, Thomas
    STAHL UND EISEN, 2012, 132 (05): : 92 - 93
  • [26] Closing the Loop on Runtime Monitors with Fallback-Safe MPC
    Sinha, Rohan
    Schmerling, Edward
    Pavone, Marco
    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 6533 - 6540
  • [27] Implementing Security Protocol Monitors
    Chevalier, Yannick
    Rusinowitch, Michael
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (342): : 22 - 34
  • [28] Who is to Blame?-Runtime Verification of Distributed Objects with Active Monitors
    Ahrendt, Wolfgang
    Henrio, Ludovic
    Oortwijn, Wytse
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (302): : 32 - 46
  • [29] Secure Live Virtual Machine Migration through Runtime Monitors
    Mahfouz, Ahmed M.
    Rahman, Md Lutfar
    Shiva, Sajjan G.
    2017 TENTH INTERNATIONAL CONFERENCE ON CONTEMPORARY COMPUTING (IC3), 2017, : 184 - 188
  • [30] In-circuit temporal monitors for runtime verification of reconfigurable designs
    Todman, Tim
    Stilkerich, Stephan
    Luk, Wayne
    2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
12345