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 条
  • [1] Which security policies are enforceable by runtime monitors? A survey
    Khoury, Raphael
    Tawbi, Nadia
    COMPUTER SCIENCE REVIEW, 2012, 6 (01) : 27 - 45
  • [2] Static enforcement of security in runtime systems
    Pedersen, Mathias, V
    Askarov, Aslan
    2019 IEEE 32ND COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2019), 2019, : 335 - 350
  • [3] Optimized Inlining of Runtime Monitors
    Lemay, Frederick
    Khoury, Raphael
    Tawbi, Nadia
    INFORMATION SECURITY TECHNOLOGY FOR APPLICATIONS, 2012, 7161 : 149 - 161
  • [4] Runtime Monitors for Markov Decision Processes
    Junges, Sebastian
    Torfah, Hazem
    Seshia, Sanjit A.
    COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 2021, 12760 : 553 - 576
  • [5] Synthesising correct concurrent runtime monitors
    Adrian Francalanza
    Aldrin Seychell
    Formal Methods in System Design, 2015, 46 : 226 - 261
  • [6] Synthesising correct concurrent runtime monitors
    Francalanza, Adrian
    Seychell, Aldrin
    FORMAL METHODS IN SYSTEM DESIGN, 2015, 46 (03) : 226 - 261
  • [7] Industrial Control Systems Security via Runtime Enforcement
    Lanotte, Ruggero
    Merro, Massimo
    Munteanu, Andrei
    ACM TRANSACTIONS ON PRIVACY AND SECURITY, 2023, 26 (01)
  • [8] Runtime Verification for Anomaly Detection of Robotic Systems Security
    Kirca, Yunus Sabri
    Degirmenci, Elif
    Demirci, Zekeriyya
    Yazici, Ahmet
    Ozkan, Metin
    Ergun, Salih
    Kanak, Alper
    MACHINES, 2023, 11 (02)
  • [9] Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems
    Zhou, Xugui
    Ahmed, Bulbul
    Aylor, James H.
    Asare, Philip
    Alemzadeh, Homa
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2024, 21 (01) : 12 - 30
  • [10] Active Learning of Runtime Monitors Under Uncertainty
    Junges, Sebastian
    Seshia, Sanjit A.
    Torfah, Hazem
    INTEGRATED FORMAL METHODS, IFM 2024, 2025, 15234 : 297 - 306
12345