Policy Monitoring in First-Order Temporal Logic

被引：0
|
作者：
Basin, David [1 ]
Klaedtke, Felix [1 ]
Mueller, Samuel [1 ]
机构：
[1] Swiss Fed Inst Technol, Dept Comp Sci, Zurich, Switzerland
来源：
COMPUTER AIDED VERIFICATION, PROCEEDINGS | 2010年 / 6174卷
关键词：
REAL-TIME; INTEGRITY; CHECKING; LANGUAGE;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We report on case studies in security and compliance monitoring and use these to show the adequacy of our specification language for naturally expressing complex, realistic policies and the practical feasibility of monitoring these policies using our monitoring algorithm.
引用
收藏
页码：1 / 18
页数：18
相关论文
共 50 条
  • [1] First-order temporal logic monitoring with BDDs
    Klaus Havelund
    Doron Peled
    Dogan Ulus
    [J]. Formal Methods in System Design, 2020, 56 : 1 - 21
  • [2] First-order temporal logic monitoring with BDDs
    Havelund, Klaus
    Peled, Doron
    Ulus, Dogan
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2020, 56 (1-3) : 1 - 21
  • [3] DejaVu: A Monitoring Tool for First-Order Temporal Logic
    Havelund, Klaus
    Peled, Doron
    Ulus, Dogan
    [J]. 2018 IEEE 3RD WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2018), 2018, : 12 - 13
  • [4] Explainable Online Monitoring of Metric First-Order Temporal Logic
    Lima, Leonardo
    Huerta y Munive, Jonathan Julian
    Traytel, Dmitriy
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2024, 2024, 14570 : 288 - 307
  • [5] Monitoring Security Policies with Metric First-order Temporal Logic
    Basin, David
    Klaedtke, Felix
    Mueller, Samuel
    [J]. SACMAT 2010: PROCEEDINGS OF THE 15TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES, 2010, : 23 - 33
  • [6] Monitoring First-Order Interval Logic
    Havelund, Klaus
    Omer, Moran
    Peled, Doron
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), 2021, 13085 : 66 - 83
  • [7] Monitoring First-Order Interval Logic
    Havelund, Klaus
    Omer, Moran
    Peled, Doron
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 13085 LNCS : 66 - 83
  • [8] Real-Time Policy Enforcement with Metric First-Order Temporal Logic
    Hublet, Francois
    Basin, David
    Krstic, Srdan
    [J]. COMPUTER SECURITY - ESORICS 2022, PT II, 2022, 13555 : 211 - 232
  • [9] Equality and monodic first-order temporal logic
    Degtyarev A.
    Fisher M.
    Lisitsa A.
    [J]. Studia Logica, 2002, 72 (2) : 147 - 156
  • [10] Proof planning for first-order temporal logic
    Castellini, C
    Smaill, A
    [J]. AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 235 - 249
12345