Correct audit logging in concurrent systems

DOI10.1016/j.entcs.2020.08.007OpenAlexW3092856180WikidataQ113317315 ScholiaQ113317315MaRDI QIDQ2229154

Sepehr Amir-Mohammadian, Chadi Kari

Publication date: 22 February 2021

Full work available at URL: https://doi.org/10.1016/j.entcs.2020.08.007

zbMATH Keywords

concurrent systemssecurityprogramming languagesaudit logging

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

Correct audit logging in concurrent systems

Uses Software

• PQL
• Conductor
• ACCESSPROV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Explicit auditing
• Correct audit logging in concurrent systems
• Justification Logic
• Communicating sequential processes
• Justification logic and audited computation
• A Formal Framework for Specifying and Verifying Microservices Based Process Flows

This page was built for publication: Correct audit logging in concurrent systems