Correct audit logging in concurrent systems

DOI10.1016/J.ENTCS.2020.08.007OpenAlexW3092856180WikidataQ113317315 ScholiaQ113317315MaRDI QIDQ2229154FDOQ2229154

Authors: 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

programming languagessecurityconcurrent systemsaudit logging

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Justification Logic
• Title not available (Why is that?)
• Communicating sequential processes
• An introduction to the \(\pi\)-calculus.
• Explicit auditing
• A formal framework for specifying and verifying microservices based process flows
• Correct audit logging in concurrent systems
• Justification logic and audited computation
• Strongly normalizing audited computation

Cited In (1)

• Correct audit logging in concurrent systems

Uses Software

• PQL
• Conductor
• ACCESSPROV

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2229154)