Runtime monitors as sensors of security systems

被引:0
|
作者
Department of Computer Science, University of Memphis, Memphis, TN-38152, United States [1 ]
机构
关键词
Compendex;
D O I
IASTED International Conference on Parallel and Distributed Computing and Systems, PDCS 2011
中图分类号
学科分类号
摘要
Security systems
引用
收藏
相关论文
共 50 条
  • [41] A Fine-Grained Hardware Security Approach for Runtime Code Integrity in Embedded Systems
    Wang, Xiang
    Wang, Weike
    Xu, Bin
    Du, Pei
    Li, Lin
    Liu, Muyang
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2018, 24 (04) : 515 - 536
  • [42] Clara: Partially Evaluating Runtime Monitors at Compile Time Tutorial Supplement
    Bodden, Eric
    Lam, Patrick
    RUNTIME VERIFICATION, 2010, 6418 : 74 - +
  • [43] Partially Evaluating Finite-State Runtime Monitors Ahead of Time
    Bodden, Eric
    Lam, Patrick
    Hendren, Laurie
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2012, 34 (02): : 1 - 52
  • [44] Teaching the Security Mindset with Reference Monitors
    Cappos, Justin
    Weiss, Richard
    PROCEEDINGS OF THE 45TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION (SIGCSE'14), 2014, : 523 - 528
  • [45] Partially evaluating finite-state runtime monitors ahead of time
    Bodden, E., 2012, Association for Computing Machinery (34):
  • [46] A security check that monitors cell morphogenesis
    Shen, Aimee
    TRENDS IN MICROBIOLOGY, 2022, 30 (05) : 405 - 407
  • [47] SEMANTICS AND VERIFICATION OF MONITORS AND SYSTEMS OF MONITORS AND PROCESSES
    GJESSING, S
    DISTRIBUTED COMPUTING, 1988, 2 (04) : 190 - 200
  • [48] IoT-Enabled Sensors in Automation Systems and Their Security Challenges
    Sauter, Thilo
    Treytl, Albert
    IEEE SENSORS LETTERS, 2023, 7 (12) : 1 - 4
  • [49] A modular pipeline for enforcement of security properties at runtime
    Taleb, Rania
    Halle, Sylvain
    Khoury, Raphael
    ANNALS OF TELECOMMUNICATIONS, 2023, 78 (7-8) : 429 - 457
  • [50] FinalFilter: Asserting Security Properties of a Processor at Runtime
    Sturton, Cynthia
    Hicks, Matthew
    King, Samuel T.
    Smith, Jonathan M.
    IEEE MICRO, 2019, 39 (04) : 35 - 42