Correct and Efficient Policy Monitoring, a Retrospective

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Standard

Correct and Efficient Policy Monitoring, a Retrospective. / Basin, David; Krstić, Srđan; Schneider, Joshua; Traytel, Dmitriy.

Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. red. / Étienne André; Jun Sun. Springer, 2023. s. 3-30 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14215 LNCS).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Harvard

Basin, D, Krstić, S, Schneider, J & Traytel, D 2023, Correct and Efficient Policy Monitoring, a Retrospective. i É André & J Sun (red), Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 14215 LNCS, s. 3-30, 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, Singapore, Singapore, 24/10/2023. https://doi.org/10.1007/978-3-031-45329-8_1

APA

Basin, D., Krstić, S., Schneider, J., & Traytel, D. (2023). Correct and Efficient Policy Monitoring, a Retrospective. I É. André, & J. Sun (red.), Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings (s. 3-30). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Bind 14215 LNCS https://doi.org/10.1007/978-3-031-45329-8_1

Vancouver

Basin D, Krstić S, Schneider J, Traytel D. Correct and Efficient Policy Monitoring, a Retrospective. I André É, Sun J, red., Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. Springer. 2023. s. 3-30. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14215 LNCS). https://doi.org/10.1007/978-3-031-45329-8_1

Author

Basin, David ; Krstić, Srđan ; Schneider, Joshua ; Traytel, Dmitriy. / Correct and Efficient Policy Monitoring, a Retrospective. Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. red. / Étienne André ; Jun Sun. Springer, 2023. s. 3-30 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14215 LNCS).

Bibtex

@inproceedings{5933e56a6cd948d19917eb94c29a819e,

title = "Correct and Efficient Policy Monitoring, a Retrospective",

abstract = "The MonPoly project started over a decade ago to build effective tools for monitoring trace properties, including functional correctness, security, and compliance policies. The original MonPoly tool supported monitoring specifications given in metric first-order temporal logic, an expressive specification language. It handled both the online case, where system events are monitored as they occur, and the offline case, monitoring logs. Our tool has evolved over time into a family of tools and supporting infrastructure to make monitoring both scalable and suitable for high assurance applications. We survey this evolution which includes: (1) developing more expressive monitors, e.g., adding aggregation operators, regular expressions, and limited forms of recursion; (2) delimiting efficiently monitorable fragments and designing new monitoring algorithms for them; (3) supporting parallel and distributed monitoring; (4) using theorem proving to verify monitoring algorithms and explore extensions; and (5) carrying out ambitious case studies.",

keywords = "monitoring, runtime verification, temporal logic",

author = "David Basin and Sr{\d}an Krsti{\'c} and Joshua Schneider and Dmitriy Traytel",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023 ; Conference date: 24-10-2023 Through 27-10-2023",

year = "2023",

doi = "10.1007/978-3-031-45329-8_1",

language = "English",

isbn = "9783031453281",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "3--30",

editor = "{\'E}tienne Andr{\'e} and Jun Sun",

booktitle = "Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings",

address = "Switzerland",

}

RIS

TY - GEN

T1 - Correct and Efficient Policy Monitoring, a Retrospective

AU - Basin, David

AU - Krstić, Srđan

AU - Schneider, Joshua

AU - Traytel, Dmitriy

PY - 2023

Y1 - 2023

N2 - The MonPoly project started over a decade ago to build effective tools for monitoring trace properties, including functional correctness, security, and compliance policies. The original MonPoly tool supported monitoring specifications given in metric first-order temporal logic, an expressive specification language. It handled both the online case, where system events are monitored as they occur, and the offline case, monitoring logs. Our tool has evolved over time into a family of tools and supporting infrastructure to make monitoring both scalable and suitable for high assurance applications. We survey this evolution which includes: (1) developing more expressive monitors, e.g., adding aggregation operators, regular expressions, and limited forms of recursion; (2) delimiting efficiently monitorable fragments and designing new monitoring algorithms for them; (3) supporting parallel and distributed monitoring; (4) using theorem proving to verify monitoring algorithms and explore extensions; and (5) carrying out ambitious case studies.

AB - The MonPoly project started over a decade ago to build effective tools for monitoring trace properties, including functional correctness, security, and compliance policies. The original MonPoly tool supported monitoring specifications given in metric first-order temporal logic, an expressive specification language. It handled both the online case, where system events are monitored as they occur, and the offline case, monitoring logs. Our tool has evolved over time into a family of tools and supporting infrastructure to make monitoring both scalable and suitable for high assurance applications. We survey this evolution which includes: (1) developing more expressive monitors, e.g., adding aggregation operators, regular expressions, and limited forms of recursion; (2) delimiting efficiently monitorable fragments and designing new monitoring algorithms for them; (3) supporting parallel and distributed monitoring; (4) using theorem proving to verify monitoring algorithms and explore extensions; and (5) carrying out ambitious case studies.

KW - monitoring

KW - runtime verification

KW - temporal logic

UR - http://www.scopus.com/inward/record.url?scp=85175964999&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-45329-8_1

DO - 10.1007/978-3-031-45329-8_1

M3 - Article in proceedings

AN - SCOPUS:85175964999

SN - 9783031453281

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 30

BT - Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings

A2 - André, Étienne

A2 - Sun, Jun

PB - Springer

T2 - 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023

Y2 - 24 October 2023 through 27 October 2023

ER -

ID: 373513326

Datalogisk Institut